Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Mahendra Singh Tomar
Publications
ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics
Fabian Immler
,
Matthias Althoff
,
Xin Chen
,
Chuchu Fan
,
Goran Frehse
,
Niklas Kochdumper
,
Yangge Li
,
Sayan Mitra
,
Mahendra Singh Tomar
and
Majid Zamani
In
:
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Copyright © 2012-2024 easychair.org. All rights reserved.