reachability analysis

Interval Reachability of Nonlinear Dynamical Systems with Neural Network Controllers L4DC 2023 ISAACS: Iterative Soft Adversarial Actor-Critic for Safety L4DC 2023 RADIUS: Risk-Aware, Real-Time, Reachability-Based Motion Planning RSS 2023 Reachability Analysis-based Safety-Critical Control using Online Fixed-Time Reinforcement Learning L4DC 2023 Reachability Analysis of Neural Network Control Systems AAAI 2023 A Simple and Efficient Sampling-based Algorithm for General Reachability Analysis L4DC 2022 Explaining the Behaviour of Hybrid Systems with PDDL+ Planning IJCAI 2022 GoTube: Scalable Statistical Verification of Continuous-Depth Models AAAI 2022 Reachability Constrained Reinforcement Learning ICML 2022 Verification of Neural-Network Control Systems by Integrating Taylor Models and Zonotopes AAAI 2022 Data-Driven Reachability Analysis Using Matrix Zonotopes L4DC 2021 On the Verification of Neural ODEs with Stochastic Guarantees AAAI 2021 Transforming Robotic Plans with Timed Automata to Solve Temporal Platform Constraints IJCAI 2021 Sampling-based Reachability Analysis: A Random Set Theory Approach with Adversarial Sampling CoRL 2020 Reachability and Coverage Planning for Connected Agents IJCAI 2019 Towards Provably Not-At-Fault Control of Autonomous Robots in Arbitrary Dynamic Environments RSS 2019 Reachability Analysis of Deep Neural Networks with Provable Guarantees IJCAI 2018 Sampling-Based Approximation Algorithms for Reachability Analysis with Provable Guarantees RSS 2018 Verifying Reachability in Networks with Mutable Datapaths NSDI 2017 Reducing Conservativeness in Safety Guarantees by Learning Disturbances Online: Iterated Guaranteed Safe Online Learning RSS 2012