Formally Verified Safe Vertical Maneuvers for Non-deterministic, Accelerating Aircraft Dynamics.

Yanni Kouskoulas, Daniel Genin, Aurora C. Schmidt, Jean-Baptiste Jeannin

Browse the full ITP paper archive.