Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Doron Peled
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
Distributed Control Synthesis
Doron Peled
and
Sven Schewe
In
:
HOWARD-60. A Festschrift on the Occasion of Howard Barringer's 60th Birthday
Keyphrases
First-order LTL
,
formal specification
,
Learning-enabled systems
,
neural networks
.
Copyright © 2012-2024 easychair.org. All rights reserved.
