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

dc.contributor.author	Tung Dinh, Hoang
dc.contributor.author	Cruz Torres, Mario Henrique
dc.contributor.author	Holvoet, Tom
dc.date.accessioned	2021-10-26T06:03:06Z
dc.date.available	2021-10-26T06:03:06Z
dc.date.embargo	9999-12-31
dc.date.issued	2018
dc.identifier.uri	https://imec-publications.be/handle/20.500.12860/31981
dc.identifier.url	https://lirias.kuleuven.be/1984255
dc.source.conference	ICAPS Workshop on Planning and Robotics
dc.source.conferencedate	24/06/2018
dc.source.conferencelocation	Delft The Netherlands
dc.title	Combining planning and model checking to get guarantees on the behavior of safety-critical UAV systems
dc.type	Proceedings paper
dspace.entity.type	Publication
Files	Original bundle Name: 42471.pdf Size: 290.97 KB Format: Adobe Portable Document Format Download
Publication available in collections:	Conference contributions

Date