Author:Lukas Koller

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

Keyphrases

Cyber-Physical Systems, Neural Network Control Systems, verification.