Show simple item record

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

dc.contributor.authorTung Dinh, Hoang
dc.contributor.authorCruz Torres, Mario Henrique
dc.contributor.authorHolvoet, Tom
dc.date.accessioned2021-10-26T06:03:06Z
dc.date.available2021-10-26T06:03:06Z
dc.date.issued2018
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/31981
dc.sourceIIOimport
dc.titleCombining planning and model checking to get guarantees on the behavior of safety-critical UAV systems
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.conferenceICAPS Workshop on Planning and Robotics
dc.source.conferencedate24/06/2018
dc.source.conferencelocationDelft The Netherlands
dc.identifier.urlhttps://lirias.kuleuven.be/1984255
imec.availabilityPublished - open access


Files in this item

Thumbnail
Name:
42471.pdf
Size:
290.9Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record