Publications
1007/978-3-319-47169-3_60 2015 Verifying the Safety of a Flight-Critical System Guillaume Brat, David Bushnell, Misty Davies, Dimitra Giannakopoulou, Falk Howar, Temesghen Kahsai In: FM 2015: Formal Methods DOI: [...] Temesghen Kahsai, Arie Gurfinkel, Cesare Tinelli In: AIAA Infotech@Aerospace Conference 2015 DOI: https://doi.org/10.2514/6.2015-1868 The Open-Source LearnLib: A Framework for Active Automata Learning Malte Isberner …
