Verifying autonomous decision making against environment assumptions: An experience report

Dinh, Hoang TungHoang TungDinhHolvoet, TomTomHolvoet2021-10-282021-10-282020-11https://imec-publications.be/handle/20.500.12860/35063Verifying autonomous decision making against environment assumptions: An experience reportProceedings paperhttps://ieeexplore.ieee.org/document/9287893