Keyword:Learning-enabled systems

Publications
Formal Specification for Learning-Enabled Autonomous Systems Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic and Doron Peled EasyChair Preprint 8564