|
[CIM+24]
Radu Calinescu, Calum Imrie, Ravi Mangal, Genaína Nunes Rodrigues, Corina Păsăreanu and Misael Alpizar Santana.
Controller Synthesis for Autonomous Systems With Deep-Learning Perception Components.
IEEE Transactions on Software Engineering.
2024.
[Presents methods for controller synthesis of autonomous systems that use deep-learning perception, using PRISM for model construction and solution.]
|
|
Links:
[Google]
[Google Scholar]
|