This page shows all presentations of this author published in EasyChair Smart Slide.
Formal Specification for Learning-Enabled Autonomous Systems (Extended Abstract)
Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic and Doron Peled