Formal verification of distributed aircraft controllers
By Sarah M. Loos, David W. Renshaw, André Platzer. 2013
48 citations recorded by the source corpus.
Subfields: Aerospace Engineering, Computational Theory and Mathematics, Computer Vision and Pattern Recognition, Program Analysis & Verification
How researchers see this paper
The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.
In Aerospace Engineering
In Computational Theory and Mathematics
- Yanni Kouskoulas
- Jean-Baptiste Jeannin
- Erik Zawadzki
- Aurora C. Schmidt
- Khalil Ghorbal
- Ryan Gardner
- André Platzer
- John Schulman
In Computer Vision and Pattern Recognition
- Luc Van Gool
- Sergey Levine
- Dacheng Tao
- Trevor Darrell
- Ming-Hsuan Yang
- Xiaogang Wang
- Jacob Steinhardt
- Andrea Vedaldi
In Program Analysis & Verification
Citations in the corpus
- Concrete Problems in AI Safety (2016, background): “Illustrative of this work is an impressive and successful effort to formally verify the entire federal aircraft collision avoidance system [73, 90].”
- Deductive Software Verification – The KeY Book (2016, background): “It can be used to formally specify and verify complex functional properties of realistic hybrid systems [Loos et al., 2013] that cannot be expressed in model checking tools.”
- A Formally Verified Hybrid System for the Next-Generation Airborne Collision Avoidance System (2015, methodology): “– unlike [3,12], we rely on an independent model from the one used to design ACAS X; – unlike [2,7,8,15,20,22] we analyze an independent industrial system and not a safeby-design system; – unlike [2,3,7] our analysis uses realistic, continuous dynamics; – unlike [16,22] we provide universal safe reg”