Formal Specification for Learning-Enabled Autonomous Systems
Authors: Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic and Doron Peled
Paper Information
| Title: | Formal Specification for Learning-Enabled Autonomous Systems |
| Authors: | Saddek Bensalem, Chih-Hong Cheng, Xiaowei Huang, Panagiotis Katsaros, Adam Molin, Dejan Nickovic and Doron Peled |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Learning-enabled systems, Formal specification, Neural networks, First-order LTL |
| Pages: | 12 |
| Talk: | Aug 01 11:00 (Session 31A) |
| Paper: |  |