|
[AQV18]
Mohammed Al-Nuaimi, Hongyang Qu and Sandor M. Veres.
A stochastically verifiable decision making framework for autonomous ground vehicles.
In Proc. IEEE International Conference on Intelligence and Safety for Robotics (ISR'18).
2018.
[Presents a framework for verified decision making in autonomous vehicles building on PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|