|
[IQV16]
Paolo Izzo, Hongyang Qu and Sandor M. Veres.
A stochastically verifiable autonomous control architecture with reasoning.
In Proc. IEEE Conference on Decision and Control (CDC'16).
2016.
[Proposes an architecture for autonomous control with underlying verification abilities provided by PRISM.]
|
|
Links:
[Google]
[Google Scholar]
|