A framework for verifying autonomous robotic agents against environment assumptions

Dinh, Hoang TungHoang TungDinhHolvoet, TomTomHolvoet2021-10-282021-10-282020-06https://imec-publications.be/handle/20.500.12860/35062A framework for verifying autonomous robotic agents against environment assumptionsProceedings paperhttps://doi.org/10.1007/978-3-030-49778-1_23