A framework for verifying autonomous robotic agents against environment assumptions

Thumbnail
Metadata
Show full item record
Authors
Dinh, Hoang Tung; Holvoet, Tom
Conference
International Conference on Practical Applications of Agents and Multi-Agent Systems
Title
A framework for verifying autonomous robotic agents against environment assumptions
Publication type
Proceedings paper
Collections