< Back to previous page

Publication

A framework for verifying autonomous robotic agents against environment assumptions

Book Contribution - Book Chapter Conference Contribution

Book: Advances in Practical Applications of Agents, Multi-Agent Systems, and Trustworthiness. The PAAMS Collection

Pages: 291 - 302

ISBN:978-3-030-49777-4

Publication year:2020

Institutional Repository URL: https://lirias.kuleuven.be/3284458
DOI: https://doi.org/10.1007/978-3-030-49778-1_23

Accessibility:Open