Vermaelen, J.J.VermaelenDinh, H.T.H.T.DinhHolvoet, T.T.Holvoet2021-10-292021-10-292020https://imec-publications.be/handle/20.500.12860/36255Formal verification of autonomous UAV behavior for inspection tasks using the knowledge base system IDPProceedings paperhttps://doi.org/10.1007/978-3-030-49778-1_25