fortiss wissenschaftliche Publikationen

Wissenschaftliche Publikationen

Veröffentlichungen, Zeitschriftenaufsätze und Broschüren mit Ergebnissen aus dem Institut

Wissenschaftliche Publikationen

Stichworte: SMT-based verification

Liste als BibTeX-Datei exportieren

2023

  • Juni 2023 Formal Verification for Safe AI-based Flight Planning for UAVs Radouane Bouchekir, Michell Guzman Cancimance, Cook Alasdair, Johannes Haindl und Riqaq Woolnough In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), IEEE. Details URL DOI BIB