HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Adam Molin

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

Keyphrases

First-order LTL, formal specification, Learning-enabled systems, neural networks.

Copyright © 2012-2025 easychair.org. All rights reserved.