HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Keyword:Learning-enabled systems

Papers
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 no. 8564
Copyright © 2012-2023 easychair.org. All rights reserved.