Compositional Falsification of Cyber-Physical Systems with Machine Learning Components

2 March 2017

Papers citing "Compositional Falsification of Cyber-Physical Systems with Machine Learning Components"

32 / 32 papers shown

Title
Formal Verification and Control with Conformal Prediction Lars Lindemann Yiqi Zhao Xinyi Yu George J. Pappas Jyotirmoy V. Deshmukh 72 14 0 31 Aug 2024
Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems Changjian Zhang Parv Kapoor Eunsuk Kang Romulo Meira-Goes David Garlan Akila Ganlath Shatadal Mishra N. Ammar 39 0 0 24 Jun 2024
Worrisome Properties of Neural Network Controllers and Their Symbolic Representations J. Cyranka Kevin E. M. Church J. Lessard 42 0 0 28 Jul 2023
Safe Robot Learning in Assistive Devices through Neural Network Repair K. Majd Geoffrey Clark Tanmay Khandait Siyu Zhou S. Sankaranarayanan Georgios Fainekos H. B. Amor 27 1 0 08 Mar 2023
A Neurosymbolic Approach to the Verification of Temporal Logic Properties of Learning enabled Control Systems Navid Hashemi Bardh Hoxha Tomoya Yamaguchi Danil Prokhorov Geogios Fainekos Jyotirmoy Deshmukh 30 8 0 07 Mar 2023
Finding Needles in Haystack: Formal Generative Models for Efficient Massive Parallel Simulations Osama Maqbool J. Roßmann AI4CE 28 0 0 03 Jan 2023
Formalizing and Evaluating Requirements of Perception Systems for Automated Vehicles using Spatio-Temporal Perception Logic Mohammad Hekmatnejad Bardh Hoxha Jyotirmoy V. Deshmukh Yezhou Yang Georgios Fainekos 26 6 0 29 Jun 2022
SoK: On the Semantic AI Security in Autonomous Driving Junjie Shen Ningfei Wang Ziwen Wan Yunpeng Luo Takami Sato ... Zhenyu Zhong Kang Li Ziming Zhao Chunming Qiao Qi Alfred Chen AAML 23 40 0 10 Mar 2022
Part-X: A Family of Stochastic Algorithms for Search-Based Test Generation with Probabilistic Guarantees Giulia Pedrielli Tanmay Kandhait Surdeep Chotaliya Quinn Thibeault Hao Huang M. Castillo-Effen Georgios Fainekos 27 19 0 20 Oct 2021
Finding Critical Scenarios for Automated Driving Systems: A Systematic Literature Review Xinhai Zhang Jianbo Tao Kaige Tan Martin Törngren José Manuel Gaspar Sánchez ... Magnus Gyllenhammar F. Wotawa N. Mohan Mihai Nica Hermann Felbinger 35 39 0 16 Oct 2021
Adversarial Robustness Verification and Attack Synthesis in Stochastic Systems Lisa Oakley Alina Oprea S. Tripakis AAML 21 0 0 05 Oct 2021
Local Repair of Neural Networks Using Optimization K. Majd Siyu Zhou H. B. Amor Georgios Fainekos S. Sankaranarayanan 24 6 0 28 Sep 2021
Automated Testing with Temporal Logic Specifications for Robotic Controllers using Adaptive Experiment Design Craig Innes S. Ramamoorthy 24 5 0 16 Sep 2021
Taxonomy of Machine Learning Safety: A Survey and Primer Sina Mohseni Haotao Wang Zhiding Yu Chaowei Xiao Zhangyang Wang J. Yadawa 21 31 0 09 Jun 2021
Scalable Synthesis of Verified Controllers in Deep Reinforcement Learning Zikang Xiong Suresh Jagannathan 29 6 0 20 Apr 2021
Generating and Characterizing Scenarios for Safety Testing of Autonomous Vehicles Zahra Ghodsi S. Hari I. Frosio Timothy Tsai Alejandro J. Troccoli S. Keckler S. Garg Anima Anandkumar 35 40 0 12 Mar 2021
Scenic: A Language for Scenario Specification and Data Generation Daniel J. Fremont Edward J. Kim T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 29 97 0 13 Oct 2020
A Survey of Algorithms for Black-Box Safety Validation of Cyber-Physical Systems Anthony Corso Robert J. Moss Mark Koren Ritchie Lee Mykel J. Kochenderfer 19 169 0 06 May 2020
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems Hoang-Dung Tran Xiaodong Yang Diego Manzanas Lopez Patrick Musau L. V. Nguyen Weiming Xiang Stanley Bak Taylor T. Johnson 29 237 0 12 Apr 2020
Real-time Out-of-distribution Detection in Learning-Enabled Cyber-Physical Systems Feiyang Cai X. Koutsoukos OODD 121 73 0 28 Jan 2020
Counterexample-Guided Synthesis of Perception Models and Control Shromona Ghosh Yash Vardhan Pant H. Ravanbakhsh S. Seshia 33 14 0 04 Nov 2019
Architecting Dependable Learning-enabled Autonomous Systems: A Survey Chih-Hong Cheng Dhiraj Gulati Rongjie Yan 27 4 0 27 Feb 2019
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems T. Dreossi Daniel J. Fremont Shromona Ghosh Edward J. Kim H. Ravanbakhsh Marcell Vazquez-Chanlatte S. Seshia 18 29 0 12 Feb 2019
Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures Junhui Yin Jiayan Qiu Csaba Szepesvári Siqing Zhang Avraham Ruderman Jiyang Xie Krishnamurthy Dvijotham Zhanyu Ma N. Heess Pushmeet Kohli AAML 15 80 0 04 Dec 2018
Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont T. Dreossi Shromona Ghosh Xiangyu Yue Alberto L. Sangiovanni-Vincentelli S. Seshia 42 246 0 25 Sep 2018
SOTER: A Runtime Assurance Framework for Programming Safe Robotics Systems Ankush Desai Shromona Ghosh S. Seshia N. Shankar A. Tiwari 17 12 0 23 Aug 2018
Using Machine Learning Safely in Automotive Software: An Assessment and Adaption of Software Process Requirements in ISO 26262 Rick Salay Krzysztof Czarnecki 25 69 0 05 Aug 2018
Semantic Adversarial Deep Learning S. Seshia S. Jha T. Dreossi AAML SILM 27 90 0 19 Apr 2018
Reasoning about Safety of Learning-Enabled Components in Autonomous Cyber-physical Systems Cumhur Erkan Tuncali J. Kapinski Hisahiro Ito Jyotirmoy V. Deshmukh 23 42 0 11 Apr 2018
Verifying Controllers Against Adversarial Examples with Bayesian Optimization Shromona Ghosh Felix Berkenkamp G. Ranade S. Qadeer Ashish Kapoor AAML 27 45 0 23 Feb 2018
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 249 1,838 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016