Show simple item record

A framework for verifying autonomous robotic agents against environment assumptions

dc.contributor.authorDinh, Hoang Tung
dc.contributor.authorHolvoet, Tom
dc.date.accessioned2021-10-28T21:22:58Z
dc.date.available2021-10-28T21:22:58Z
dc.date.issued2020-06
dc.identifier.urihttps://imec-publications.be/handle/20.500.12860/35062
dc.sourceIIOimport
dc.titleA framework for verifying autonomous robotic agents against environment assumptions
dc.typeProceedings paper
dc.source.peerreviewyes
dc.source.beginpage291
dc.source.endpage302
dc.source.conferenceInternational Conference on Practical Applications of Agents and Multi-Agent Systems
dc.source.conferencedate7/10/2020
dc.source.conferencelocationL'Aquila Italy
dc.identifier.urlhttps://doi.org/10.1007/978-3-030-49778-1_23
imec.availabilityPublished - imec
imec.internalnotesLecture Notes in Computer Science; Vol. LNCS 12092 aff ok


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following collection(s)

Show simple item record