HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor 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-2025 easychair.org. All rights reserved.