Formal Specification for Learning-Enabled Autonomous Systems.

Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic, Doron Peled

Browse the full CAV paper archive.