Authors

Tung Dinh, Hoang; Cruz Torres, Mario Henrique; Holvoet, Tom

Conference

ICAPS Workshop on Planning and Robotics

Title

Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems

Publication type

Proceedings paper

Embargo date

9999-12-31