Reachability problem

dReach: δ-Reachability Analysis for Hybrid Systems

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

引用数: 205 • 2015

Incremental Search Methods for Reachability Analysis of Continuous and Hybrid Systems

Amit Bhatia, Emilio Frazzoli

引用数: 122 • 2004

Verification of Hybrid Systems

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

引用数: 62 • 2018

Robot reachability problem: A nonlinear optimization approach

Zhiyuan Ying, S. S. Iyengar

引用数: 16 • 1995

Signal Temporal Logic Meets Reachability: Connections and Applications

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

引用数: 14 • 2020

Bounded Policy Synthesis for POMDPs with Safe-Reachability Objectives

Yue Wang, Swarat Chaudhuri, Lydia E. Kavraki

引用数: 10 • 2018

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

Hua Xu, Peifa Jia

引用数: 7 • 2006

Reachability games with counters : decidability and algorithms

Julien Reichert

引用数: 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

引用数: 6 • 2022

Delta-Complete Analysis for Bounded Reachability of Hybrid Systems

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

引用数: 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

引用数: 4 • 2022

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

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

引用数: 3 • 2014

Almost-Sure Reachability in Stochastic Multi-Mode System

Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi

引用数: 2 • 2016