Publications
- On Safety Assurance of Symbolic Artificial Intelligence In International Conference on Software Quality, Reliability, and Security Companion, July 2024. Details BIB
- Formal Verification for Safe AI-based Flight Planning for UAVs In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), June 2023. IEEE. Details URL DOI BIB
- Risk-Based Safety Envelopes for Autonomous Vehicles Under Perception Uncertainty In Intelligent Vehicles Symposium (IV), Aachen, Germany, June 2022. IEEE. Details BIB