Diego Manzanas Lopez

39 papers B 1C 1Misc 1Journal 10Unranked 26

Year	Rank	Type	Title / Venue / Authors
2025	—	`conf`	NNV: A Star Set Reachability Approach (Competition Contribution). SAIV Diego Manzanas Lopez, Samuel Sasaki, Taylor T. Johnson
2025	—	`conf`	Neuro-Symbolic Behavior Trees (NSBTs) and Their Verification. NeuS Serena Serafina Serbinowska, Diego Manzanas Lopez, Dung Thuy Nguyen, Taylor T. Johnson
2025	—	`conf`	Neurosymbolic Finite and Pushdown Automata: Improved Multimodal Reasoning versus Vision Language Models (VLMs). NeuS Samuel Sasaki, Diego Manzanas Lopez, Taylor T. Johnson
2025	J	`jnl`	Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network. CoRR Navid Hashemi, Samuel Sasaki, Diego Manzanas Lopez, Ipek Oguz, Meiyi Ma, Taylor T. Johnson
2025	—	`conf`	Real-Time Reachability for Neurosymbolic Reinforcement Learning-based Safe Autonomous Navigation. NeuS Nicholas Potteiger, Diego Manzanas Lopez, Taylor T. Johnson, Xenofon D. Koutsoukos
2025	—	`conf`	Robustness Verification of Video Classification Neural Networks. FormaliSE Samuel Sasaki, Diego Manzanas Lopez, Preston K. Robinette, Taylor T. Johnson
2024	—	`conf`	Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets. FormaliSE@ICSE Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson
2024	J	`jnl`	Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets. CoRR Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson
2024	—	`conf`	FairNNV: The Neural Network Verification Tool For Certifying Fairness. ICAIF Anne M. Tumlin, Diego Manzanas Lopez, Preston Robinette, Yuying Zhao, Tyler Derr, Taylor T. Johnson
2024	—	`conf`	Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV. DSN-S Taylor T. Johnson, Diego Manzanas Lopez, Hoang-Dung Tran
2023	—	`conf`	ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling
2023	—	`conf`	Benchmark: Neural Network Malware Classification. AISoLA Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson
2023	—	`conf`	Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers. AISoLA Diego Manzanas Lopez, Taylor T. Johnson
2023	—	`conf`	NNV 2.0: The Neural Network Verification Tool. CAV (2) Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson
2023	—	`conf`	Online Reachability Analysis and Space Convexification for Autonomous Racing. FMAS@iFM Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis
2023	C	`conf`	Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input. FMICS Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson
2023	J	`jnl`	Robustness Verification of Deep Neural Networks using Star-Based Reachability Analysis with Variable-Length Time Series Input. CoRR Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson
2023	Misc	`conf`	Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy. EMSOFT Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson
2022	—	`conf`	ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@SAFECOMP Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu
2022	J	`jnl`	An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles. CoRR Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
2022	—	`conf`	On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers. ICAA Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson
2022	—	`conf`	Reachability Analysis of a General Class of Neural Ordinary Differential Equations. FORMATS Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
2022	J	`jnl`	Reachability Analysis of a General Class of Neural Ordinary Differential Equations. CoRR Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson
2022	—	`conf`	Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning. ICAA Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson
2021	—	`conf`	ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@ADHS Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee
2021	—	`conf`	Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. CAV (1) Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
2021	J	`jnl`	Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. Formal Aspects Comput. Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020	—	`conf`	ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
2020	—	`conf`	Case Study: Safety Verification of an Unmanned Underwater Vehicle. SP (Workshops) Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson
2020	—	`conf`	NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CAV (1) Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020	J	`jnl`	NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. CoRR Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2019	—	`conf`	ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants. ARCH@CPSIoTWeek Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
2019	—	`conf`	Parallelizable reachability analysis algorithms for feed-forward neural networks. FormaliSE@ICSE Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2019	J	`jnl`	Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control. ACM Trans. Embed. Comput. Syst. Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos
2019	B	`conf`	Star-Based Reachability Analysis of Deep Neural Networks. FM Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2019	—	`conf`	Verification of Closed-loop Systems with Neural Network Controllers. ARCH@CPSIoTWeek Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson
2018	—	`conf`	Linear Differential-Algebraic Equations (Benchmark Proposal). ARCH@ADHS Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson
2018	J	`jnl`	Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems. CoRR Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson
2018	J	`jnl`	Verification for Machine Learning, Autonomy, and Neural Networks Survey. CoRR Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson