Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Chih-Hong Cheng
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-2024 easychair.org. All rights reserved.
