Author:Patrick Musau

Publications
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Taylor T Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan and Chao Huang In:ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20)
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov and Taylor T. Johnson In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verification of Closed-loop Systems with Neural Network Controllers Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran and Taylor T. Johnson In:ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems
Verification of Continuous Time Recurrent Neural Networks (Benchmark Proposal) Patrick Musau and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems
Linear Differential-Algebraic Equations (Benchmark Proposal) Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran and Taylor T. Johnson In:ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems

Keyphrases

Artificial Intelligence, benchmark², closed-loop system, control systems, differential-algebraic equations, hybrid systems, Neural Network Control Systems, neural network controller, neural networks², reachability analysis², Recurrent Neural Networks, RNNs, verification, verification benchmark.