HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

Author:Tobias Ladner

Publications
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Clemens Blab, Marcelo Forets, Yuhao Jia, Taylor T Johnson, Manuel Kranzl, Tobias Ladner, Lukas Linauer, Philipp Neubauer, Sophie Neubauer, Christian Schilling, Huan Zhang and Xiangru Zhong
In:Proceedings of the 11th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T Johnson, Tobias Ladner and Christian Schilling
In:Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23)
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T Johnson, Tobias Ladner, Wenchao Li, Christian Schilling and Qi Zhu
In:Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22)

Keyphrases

formal methods, formal verification, Neural Network Control Systems2, Neural Network Verification, neural networks2, reachability, verification2.

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