Show simple item record

Formal verification of autonomous UAV behavior for inspection tasks using the knowledge base system IDP

dc.contributor.authorVermaelen, J.
dc.contributor.authorDinh, H.T.
dc.contributor.authorHolvoet, T.
dc.date.accessioned2021-10-29T07:17:25Z
dc.date.available2021-10-29T07:17:25Z
dc.date.issued2020
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/36255
dc.sourceIIOimport
dc.titleFormal verification of autonomous UAV behavior for inspection tasks using the knowledge base system IDP
dc.typeProceedings paper
dc.date.embargo9999-12-31
dc.source.peerreviewyes
dc.source.beginpage315
dc.source.endpage326
dc.source.conferenceAdvances in Practical Applications of Agents and Multi-Agent Systems, and Trustworthiness. The PAAMS Collection
dc.source.conferencedate7/10/2020
dc.source.conferencelocationL'Aquila Italy
dc.identifier.urlhttps://doi.org/10.1007/978-3-030-49778-1_25
imec.availabilityPublished - open access
imec.internalnotesLecture Notes in Computer Science; Vol. LNCS 12092 aff ok


Files in this item

Thumbnail
Name:
47861.pdf
Size:
316.3Kb
Format:
PDF
View/open

This item appears in the following collection(s)

Show simple item record