Reachability problem

dReach: δ-Reachability Analysis for Hybrid Systems

Soonho Kong, Sicun Gao, Wei Chen, Edmund M. Clarke

Citations: 205 • 2015

Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems

Amit Bhatia, Emilio Frazzoli

Citations: 122 • 2004

Verification of Hybrid Systems

Laurent Doyen, Goran Frehse, George J. Pappas, André Platzer

Citations: 62 • 2018

Robot reachability problem: A nonlinear optimization approach

Zhiyuan Ying, S. S. Iyengar

Citations: 16 • 1995

Signal Temporal Logic Meets Reachability: Connections and Applications

Mo Chen, Qizhan Tam, Scott C. Livingston, Marco Pavone

Citations: 14 • 2020

Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives

Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki

Citations: 10 • 2018

Timed Hierarchical Object-Oriented Petri Net-Part I: Basic Concepts and Reachability Analysis

Hua Xu, Peifa Jia

Citations: 7 • 2006

Reachability games with counters : decidability and algorithms

Julien Reichert

Citations: 7 • 2015

Enhancing Data-Driven Reachability Analysis using Temporal Logic Side Information

Amr Alanwar, Frank J. Jiang, Maryam Sharifi, Dimos V. Dimarogonas, Karl Henrik Johansson

Citations: 6 • 2022

Delta-Complete Analysis for Bounded Reachability of Hybrid Systems

Sicun Gao, Soonho Kong, Wei Chen, Edmund M. Clarke

Citations: 5 • 2014

Reachability tree in liveness analysis of Petri net-based cyber-physical systems

Mateusz Popławski, Marcin Wojnakowski, Grzegorz Bazydło, Remigiusz Wiśniewski

Citations: 4 • 2022

Verification of Robotic Surgery Tasks by Reachability Analysis: A Comparison of Tools

Davide Bresolin, Luca Geretti, Riccardo Muradore, Paolo Fiorini, Tiziano Villa

Citations: 3 • 2014

Almost-Sure Reachability in Stochastic Multi-Mode System

Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi

Citations: 2 • 2016