Author:Tobias Ladner

Publications
ARCH-COMP26 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Samuel Sasaki, Ben Wooding, Taylor T. Johnson, Matthias Althoff, Luis Benet, Samuel Coogan, Marcelo Forets, Akash Harapanahalli, Lukas Koller, Tobias Ladner, Christian Schilling, Huan Zhang and Xiangru Zhong In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP26 Repeatability Evaluation Report Nico Holzinger and Tobias Ladner In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP25 Repeatability Evaluation Report Tobias Ladner In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP25 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Samuel Coogan, Marcelo Forets, Akash Harapanahalli, Taylor T. Johnson, Tobias Ladner, Christian Schilling, Huan Zhang and Xiangru Zhong In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
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

closed-loop², control system, Cyber-Physical Systems, dynamic system², formal methods, formal verification³, neural feedback loop, Neural Network Control System, Neural Network Control Systems³, Neural Network Verification, neural networks⁴, reachability, reachability analysis², safe AI², verification⁴.