A Aralex Aachen research explorer

April 08, 2013 conference-paper

Formal verification of distributed aircraft controllers

International Conference on Hybrid Systems: computation and control

DOI: 10.1145/2461328.2461350 OpenAlex

Authors 0

Author list not loaded yet.

Cited by 1 stored of 34

Modified Constrained Wavefront Expansion Path Planning Algorithm for Tilt-Wing UAV
2022 International Conference on Unmanned Aircraft Systems (ICUAS) conference-paper Computer Science Robotic Path Planning Algorithms

3

citations

1 result

References 0