Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Gianni Zampedri
Publications
SpaceEx Hybrid Models with LTL Properties
Ludovico Battista
,
Stefano Tonetta
and
Gianni Zampedri
In
:
Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
Keyphrases
automated verification
,
hybrid systems
,
LTL
.
Copyright © 2012-2026 easychair.org. All rights reserved.
