Fetching the paper…
Reading the bibliography…
Autonomous cyber-physical systems (CPS) can improve safety and efficiency for safety-critical applications, but require rigorous testing before deployment.
“Go-Explore: a New Approach for Hard-Exploration Problems”
Adrien Ecoffet et al · 1901
Earlier work this paper cites.
“Automatic Testing and Falsification with Dynamically Constrained Reinforcement Learning”
Xin Qin, Nikos Aréchiga, Andrew Best and Jyotirmoy Deshmukh · 1910
Earlier work this paper cites.
“Efficient Black-box Assessment of Autonomous Vehicle Safety”
Justin Norden, Matthew O’Kelly and Aman Sinha · 1912
Earlier work this paper cites.
“Estimation of particle transmission by random sampling”
Herman Kahn and Theodore. Harris · 1951
Earlier work this paper cites.
“Adaptive Monte Carlo via Bandit Allocation”
James Neufeld, Andras Gyorgy, Csaba Szepesvari and Dale Schuurmans · 1952
Earlier work this paper cites.
“A note on two problems in connexion with graphs”
Edsger Dijkstra · 1959
Earlier work this paper cites.
“STRIPS: A new approach to the application of theorem proving to problem solving”
Richard Fikes and Nils Nilsson · 1971
Earlier work this paper cites.
“Sample sizes for Monte Carlo simulation”
GJ Hahn · 1972
Earlier work this paper cites.
“The temporal logic of programs”
Amir Pnueli · 1977
Earlier work this paper cites.
“Design and synthesis of synchronization skeletons using branching time temporal logic”
Edmund. Clarke and E. Emerson · 1981
Earlier work this paper cites.
“A multiple shooting algorithm for direct solution of optimal control problems”
Hans Bock and Karl-Josef Plitt · 1984
Earlier work this paper cites.
“Recognizing safety and liveness”
Bowen Alpern and Fred. Schneider · 1987
Earlier work this paper cites.
“Specifying real-time properties with metric temporal logic”
Ron Koymans · 1990
Earlier work this paper cites.
“On large deviations theory and asymptotically efficient Monte Carlo estimation”
John. Sadowsky and James. Bucklew · 1990
Earlier work this paper cites.
“Ant system: optimization by a colony of cooperating agents”
Marco Dorigo, Vittorio Maniezzo and Alberto Colorni · 1996
Earlier work this paper cites.
“Adapting arbitrary normal mutation distributions in evolution strategies: The covariance matrix adaptation”
Nikolaus Hansen and Andreas Ostermeier · 1996
Earlier work this paper cites.
“Probabilistic roadmaps for path planning in high-dimensional configuration spaces”
Lydia Kavraki, Petr Svestka, Jean-Claude Latombe and Mark Overmars · 1996
Earlier work this paper cites.
“Long short-term memory”
Sepp Hochreiter and Jürgen Schmidhuber · 1997
Earlier work this paper cites.
“Rapidly-Exploring Random Trees: A New Tool for Path Planning”, 1998
Steven. Lavalle · 1998
Earlier work this paper cites.
“PDDL—The planning domain definition language”, 1998
Drew McDermott et al · 1998
Earlier work this paper cites.
“Black box checking”
Doron Peled, Moshe. Vardi and Mihalis Yannakakis · 1999
Earlier work this paper cites.
“Least squares support vector machine classifiers”
Johan.. Suykens and Joos Vandewalle · 1999
Earlier work this paper cites.
“Towards a theory of stochastic hybrid systems”
Jianghai Hu, John Lygeros and Shankar Sastry · 2000
Earlier work this paper cites.
“Policy gradient methods for reinforcement learning with function approximation”
Richard. Sutton, David. McAllester, Satinder. Singh and Yishay Mansour · 2000
Earlier work this paper cites.
“Automated Theorem Proving in Software Engineering”
Johann. Schumann · 2001
Earlier work this paper cites.
“An algorithm to compute bounds for the star discrepancy”
Eric Thiémard · 2001
Earlier work this paper cites.
“Inverse design of airfoils based on a novel formulation of the ant colony optimization method”
Georgios. Fainekos and Kyriakos. Giannakoglou · 2003
Earlier work this paper cites.
“Efficient solution algorithms for factored MDPs”
Carlos Guestrin, Daphne Koller, Ronald Parr and Shobha Venkataraman · 2003
Earlier work this paper cites.
“Generating test inputs for embedded control systems”
Qianchuan Zhao, Bruce. Krogh and Paul Hubbard · 2003
Earlier work this paper cites.
“Adaptive RRTs for validating hybrid robotic control systems”
Joel. Esposito, Jongwoo Kim and Vijay Kumar · 2004
Earlier work this paper cites.
“Benchmarks for hybrid systems verification”
Ansgar Fehnker and Franjo Ivančić · 2004
Earlier work this paper cites.
“Automated Planning: theory and practice”
Malik Ghallab, Dana Nau and Paolo Traverso · 2004
Earlier work this paper cites.
“Globalized Nelder–Mead method for engineering optimization”
Marco. Luersen and Rodolphe Le · 2004
Earlier work this paper cites.
“A tutorial on the cross-entropy method”
Pieter-Tjerk De, Dirk. Kroese, Shie Mannor and Reuven. Rubinstein · 2005
Earlier work this paper cites.
“An RRT-based algorithm for testing and validating multi-robot controllers”, 2005
Jongwoo Kim, Joel. Esposito and Vijay Kumar · 2005
Earlier work this paper cites.
“Sampling-based planning, control and verification of hybrid systems”
Michael. Branicky, Michael. Curtiss, Joshua Levine and Stuart Morgan · 2006
Earlier work this paper cites.
“Fast direct multiple shooting algorithms for optimal robot control”
Moritz Diehl, Hans Bock, Holger Diedam and P-B Wieber · 2006
Earlier work this paper cites.
“Planning Algorithms”
Steven. LaValle · 2006
Earlier work this paper cites.
“Adaptive multilevel splitting for rare event analysis”
Frédéric Cérou and Arnaud Guyader · 2007
Earlier work this paper cites.
“Computing ‘ELO ratings’ of move patterns in the game of Go”
Rémi Coulom · 2007
Earlier work this paper cites.
“Test Coverage for Continuous and Hybrid Systems”
Tarik Nahhal and Thao Dang · 2007
Earlier work this paper cites.
“An efficient algorithm for rare-event probability estimation, combinatorial optimization, and counting”
Zdravko. Botev and Dirk. Kroese · 2008
Earlier work this paper cites.
“Progressive strategies for Monte Carlo tree search”
Guillaume.-B. Chaslot et al · 2008
Earlier work this paper cites.
“Sensitive state-space exploration”
Thao Dang, Alexandre Donzé, Oded Maler and Noa Shalev · 2008
Earlier work this paper cites.
“TestWeaver: A tool for simulation-based test of mechatronic designs”
Andreas Junghanns, Jakob Mauss and Mugur Tatar · 2008
Earlier work this paper cites.
“Automatically synthesizing a planning and control subsystem for the DARPA Urban Challenge”
Hadas Kress-Gazit and George. Pappas · 2008
Earlier work this paper cites.
“KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description)”
André Platzer and Jan-David Quesel · 2008
Earlier work this paper cites.
“Robustness of temporal logic specifications for continuous-time signals”
Georgios. Fainekos and George. Pappas · 2009
Earlier work this paper cites.
“Hybrid systems: from verification to falsification by combining motion planning and discrete search”
Erion Plaku, Lydia. Kavraki and Moshe. Vardi · 2009
Earlier work this paper cites.
“Ant colonies for temporal logic falsification of hybrid systems”
Yashwanth Annapureddy and Georgios. Fainekos · 2010
Earlier work this paper cites.
“Improved Monte Carlo sampling for conflict probability estimation”
James. Chryssanthacopoulos, Mykel. Kochenderfer and Richard. Williams · 2010
Earlier work this paper cites.
“Exact decomposition approaches for Markov decision processes: A survey”
Cherki Daoui, Mohamed Abbad and Mohamed Tkiouat · 2010
Cited alongside, same era.
“Breach, a toolbox for verification and parameter synthesis of hybrid systems”
Alexandre Donzé · 2010
Cited alongside, same era.
“Robust satisfaction of temporal logic over real-valued signals”
Alexandre Donzé and Oded Maler · 2010
Cited alongside, same era.
“S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems”
Yashwanth Annapureddy, Che Liu, Georgios Fainekos and Sriram Sankaranarayanan · 2011
Cited alongside, same era.
“Sampling-based algorithms for optimal motion planning”
Sertac Karaman and Emilio Frazzoli · 2011
Cited alongside, same era.
“Finding Bugs in C Programs with Reactis for C”, 2011
Reactive Systems Inc · 2011
Cited alongside, same era.
“Smooth operator: Control using the smooth robustness of temporal logic”
Yash Pant, Houssam Abbas and Rahul Mangharam · 2017
Later among the works it cites.
“Hybrid modelling of a wind turbine (benchmark proposal)”
Simone Schuler, Fabiano Adegas and Adolfo Anta · 2017
Later among the works it cites.
“Mastering the game of go without human knowledge”
David Silver et al · 2017
Later among the works it cites.
“An active learning approach to the falsification of black box cyber-physical systems”
Simone Silvetti, Alberto Policriti and Luca Bortolussi · 2017
Later among the works it cites.
“Temporal logic falsification of cyber-physical systems: An input-signal-space optimization approach”
Arend Aerts, Bryan Minh, Mohammad Mousavi and Michel. Reniers · 2018
Later among the works it cites.
“A survey of statistical model checking”
Gul Agha and Karl Palmskog · 2018
alphaXiv searches the wider corpus for related work and actual follow-ups.
alphaXiv is searching for related work…
“First-Order Logic and Automated Theorem Proving”
Melvin Fitting · 2012
Cited alongside, same era.
“Conservative hypothesis tests and confidence intervals using importance sampling”
Matthew. Harrison · 2012
Cited alongside, same era.
“Next-Generation Airborne Collision Avoidance System”
Mykel. Kochenderfer, Jessica. Holland and James. Chryssanthacopoulos · 2012
Cited alongside, same era.
“Optimal control”
Frank. Lewis, Draguna Vrabie and Vassilis. Syrmos · 2012
Cited alongside, same era.
“Width and serialization of classical planning problems”
Nir Lipovetzky and Hector Geffner · 2012
Cited alongside, same era.
“Bayesian Approach to Global Optimization: Theory and Applications”
Jonas Mockus · 2012
Cited alongside, same era.
Later among the works it cites.
“Falsification of Cyber-Physical Systems Using Deep Reinforcement Learning”
Takumi Akazaki et al · 2018
Later among the works it cites.
“Handbook of Model Checking”
Edmund. Clarke, Thomas. Henzinger, Helmut Veith and Roderick Bloem · 2018
Later among the works it cites.
“A versatile approach to evaluating and testing automated vehicles based on kernel methods”
Zhiyuan Huang et al · 2018
Later among the works it cites.
“Adaptive stress testing for autonomous vehicles”
Mark Koren, Saud Alsaif, Ritchie Lee and Mykel. Kochenderfer · 2018
Later among the works it cites.
“Adaptive Generation of Challenging Scenarios for Testing and Evaluation of Autonomous Vehicles”
Galen. Mullins, Paul. Stankiewicz, R. Hawthorne and Satyandra. Gupta · 2018
Later among the works it cites.
“Scalable end-to-end autonomous vehicle testing via rare-event simulation”
Matthew O’Kelly et al · 2018
Later among the works it cites.
“Reinforcement Learning: An Introduction”
Richard. Sutton and Andrew. Barto · 2018
Later among the works it cites.
“Experience report: Application of falsification methods on the UxAS system”
Cumhur Tuncali et al · 2018
Later among the works it cites.
“Automated Vehicles 3.0: Preparing for the Future of Transportation”, 2018
U.S. Department of Transportation · 2018
Later among the works it cites.
“Feature-guided black-box safety testing of deep neural networks”
Matthew Wicker, Xiaowei Huang and Marta Kwiatkowska · 2018
Later among the works it cites.
“Autonomous Systems and the Challenges in Verification, Validation, and Test”
David Yeh · 2018
Later among the works it cites.
“Two-layered falsification of hybrid systems guided by Monte Carlo tree search”
Zhenya Zhang et al · 2018
Later among the works it cites.
“Generating adversarial driving scenarios in high-fidelity simulators”
Yasasa Abeysirigoonawardena, Florian Shkurti and Gregory Dudek · 2019
Later among the works it cites.
“Adversarial reinforcement learning framework for benchmarking collision avoidance mechanisms in autonomous vehicles”
Vahid Behzadan and Arslan Munir · 2019
Later among the works it cites.
“Adaptive Stress Testing with Reward Augmentation for Autonomous Vehicle Validation”
Anthony Corso, Peter Du, Katherine Driggs-Campbell and Mykel. Kochenderfer · 2019
Later among the works it cites.
“An Evaluation of Monte Carlo Tree Search for Property Falsification on Hybrid Flight Control Laws”
Rémi Delmas, Thomas Loquen, Josep Boada-Bauxell and Mathieu Carton · 2019
Later among the works it cites.
“Compositional Falsification of Cyber-Physical Systems with Machine Learning Components”
Tommaso Dreossi, Alexandre Donzé and Sanjit. Seshia · 2019
Later among the works it cites.
“ARCH-COMP 2019 category report: falsification”
Gidon Ernst et al · 2019
Later among the works it cites.
“Fast falsification of hybrid systems using probabilistically adaptive input”
Gidon Ernst, Sean Sedwards, Zhenya Zhang and Ichiro Hasuo · 2019
Later among the works it cites.
“Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo”
Georgios Fainekos, Bardh Hoxha and Sriram Sankaranarayanan · 2019
Later among the works it cites.
“FAA Aerospace Forecast Fiscal Years 2020–2040”, 2019
Federal Aviation Administration · 2019
Later among the works it cites.
“Algorithms for Optimization”
Mykel. Kochenderfer and Tim. Wheeler · 2019
Later among the works it cites.
“The adaptive stress testing formulation”
Mark Koren, Anthony Corso and Mykel. Kochenderfer · 2019
Later among the works it cites.
“Efficient autonomy validation in simulation with adaptive stress testing”
Mark Koren and Mykel. Kochenderfer · 2019
Later among the works it cites.
“Computationally Efficient Safety Falsification of Adaptive Cruise Control Systems”
Markus Koschi, Christian Pek, Sebastian Maierhofer and Matthias Althoff · 2019
Later among the works it cites.
“Adaptive Stress Testing of Trajectory Planning Systems”
Ritchie Lee et al · 2019
Later among the works it cites.
“Falsification of cyber-physical systems with robustness uncertainty quantification through stochastic optimization with adaptive restart”
Logan Mathesen, Shakiba Yaghoubi, Giulia Pedrielli and Georgios Fainekos · 2019
Later among the works it cites.
“Superdepth: Self-Supervised, Super-Resolved Monocular Depth Estimation”
Sudeep Pillai, Rareş Ambruş and Adrien Gaidon · 2019
Later among the works it cites.
“Rapidly-exploring Random Trees for Testing Automated Vehicles”
Cumhur Tuncali and Georgios Fainekos · 2019
Later among the works it cites.
“Requirements-driven test generation for autonomous vehicles with machine learning components”
Cumhur Tuncali et al · 2019
Later among the works it cites.
“Rigorous Agent Evaluation: An Adversarial Approach to Uncover Catastrophic Failures”
Jonathan Uesato et al · 2019
Later among the works it cites.
“Grandmaster Level in StarCraft II using Multi-Agent Reinforcement Learning”
Oriol Vinyals et al · 2019
Later among the works it cites.
“Gray-box adversarial testing for control systems with machine learning components”
Shakiba Yaghoubi and Georgios Fainekos · 2019
Later among the works it cites.
“Multi-armed Bandits for Boolean Connectives in Hybrid System Falsification”
Zhenya Zhang, Ichiro Hasuo and Paolo Arcaini · 2019
Later among the works it cites.
“Interpretable Safety Validation for Autonomous Vehicles”
Anthony Corso and Mykel. Kochenderfer · 2020
Later among the works it cites.
“Scalable Autonomous Vehicle Safety Validation through Dynamic Programming and Scene Decomposition”
Anthony Corso, Ritchie Lee and Mykel. Kochenderfer · 2020
Later among the works it cites.
“Search-based Test-CASe Generation by Monitoring Responsibility Safety Rules”
Mohammad Hekmatnejad, Bardh Hoxha and Georgios Fainekos · 2020
Later among the works it cites.
“Validation of Image-Based Neural Network Controllers through Adaptive Stress Testing”
Kyle. Julian, Ritchie Lee and Mykel. Kochenderfer · 2020
Later among the works it cites.
“Adaptive Stress Testing without Domain Heuristics using Go-Explore”
Mark Koren and Mykel. Kochenderfer · 2020
Later among the works it cites.
“Training adversarial agents to exploit weaknesses in deep control policies”
Sampo Kuutti, Saber Fallah and Richard Bowden · 2020
Later among the works it cites.
“Adaptive Stress Testing: Finding Likely Failure Events with Reinforcement Learning”
Ritchie Lee et al · 2020
Later among the works it cites.
“Back-propagation through signal temporal logic specifications: Infusing logical structure into gradient-based methods”
K. Leung, N. Aréchiga and M. Pavone · 2020
Later among the works it cites.
“Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems”
Robert. Moss et al · 2020
Later among the works it cites.
“Artificial Intelligence: A Modern Approach”
Stuart Russell and Peter Norvig · 2020
Later among the works it cites.
“Stress Testing of UAS Traffic Management Decision Making Systems”
Xuxi Yang et al · 2020
Later among the works it cites.