HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Christian Pardillo Laursen

Publications
ARCH-COMP22 Category Report: Hybrid Systems Theorem Proving
Stefan Mitsch, Bohua Zhan, Huanhuan Sheng, Alexander Bentkamp, Xiangyu Jin, Shuling Wang, Simon Foster, Christian Pardillo Laursen and Jonathan Julián Huerta Y Munive
In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)

Keyphrases

formal verification, hybrid games, hybrid systems, nonlinear systems, theorem proving, tools.

Copyright © 2012-2025 easychair.org. All rights reserved.