Author:Ben Wooding

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 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics Luca Geretti, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Pieter Collins, Marcelo Forets, Stefan Mitsch, Maximilian Perschl, Christian Schilling, Joris Tillet and Ben Wooding In:Proceedings of 13th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP25 Category Report: Stochastic Models Alessandro Abate, Omid Akbarzadeh, Henk A.P. Blom, Sofie Haesaert, Sina Hassani, Abolfazl Lavaei, Frederik Baymler Mathiesen, Rahul Misra, Amy Nejati, Mathis Niehage, Fie Ørum, Anne Remke, Behrad Samari, Ruohan Wang, Rafal Wisniewski, Ben Wooding and Mahdieh Zaker In:Proceedings of 12th Int. Workshop on Applied Verification for Continuous and Hybrid Systems
ARCH-COMP20 Category Report: Stochastic Models Alessandro Abate, Henk Blom, Nathalie Cauchi, Joanna Delicaris, Arnd Hartmanns, Mahmoud Khaled, Abolfazl Lavaei, Carina Pilch, Anne Remke, Stefan Schupp, Fedor Shmarov, Sadegh Soudjani, Abraham Vinod, Ben Wooding, Majid Zamani and Paolo Zuliani In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)

Keyphrases

continuous dynamics, control synthesis, Cyber-Physical Systems, formal verification, hybrid models, hybrid systems, Neural Network Control Systems, nonlinear dynamics, probabilistic model checking, probabilistic safety and reachability, reachability, safety verification, simulations, software tools, statistical model checking, stochastic hybrid systems, stochastic models², verification.