Publication:

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

Date

2020
Proceedings Paper
Simple item page Full metadata Statistics
 
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.embargo9999-12-31
dc.date.issued2020
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/36255
dc.identifier.urlhttps://doi.org/10.1007/978-3-030-49778-1_25
dc.source.beginpage315
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.source.endpage326
dc.title

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

dc.typeProceedings paper
dspace.entity.typePublication
Files

Original bundle

Name:
47861.pdf
Size:
316.38 KB
Format:
Adobe Portable Document Format
Download
Publication available in collections:
Conference contributions