Publikationen
Liste als BibTeX-Datei exportieren
- nn-dependability-kit: Engineering Neural Networks for Safety-Critical Autonomous Driving Systems In Proceedings of the IEEE/ACM International Conference on Computer Aided Design (ICCAD), November 2019. Details BIB
- Quantitative Projection Coverage for Testing ML-enabled Autonomous Systems In Automated Technology for Verification and Analysis - 16th International Symposium, ATVA 2018, Los Angeles, CA, USA, October 7-10, 2018, Proceedings, Seiten 126–142, Oktober 2018. Details URL DOI BIB
- Verification of Binarized Neural Networks via Inter-neuron Factoring - (Short Paper) In Verified Software. Theories, Tools, and Experiments - 10th International Conference, VSTTE 2018, Oxford, UK, July 18-19, 2018, Revised Selected Papers, Seiten 279–290, Juli 2018. Details URL DOI BIB
- G4LTL-ST: Automatic Generation of PLC Programs In Computer Aided Verification - 26th International Conference, CAV 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014. Proceedings, Seiten 541–549, 2014. Details URL DOI BIB