Keyword:First-order LTL

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