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

Tung Dinh, HoangHoangTung DinhCruz Torres, Mario HenriqueMario HenriqueCruz TorresHolvoet, TomTomHolvoet2021-10-262021-10-262018https://imec-publications.be/handle/20.500.12860/31981Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systemsProceedings paperhttps://lirias.kuleuven.be/1984255