Bounded Verification of Reachability of Probabilistic Hybrid Systems

DOI10.1007/978-3-319-99154-2_15zbMath1514.68139OpenAlexW2886025101MaRDI QIDQ6104812

Ratan Lal, Pavithra Prabhakar

Publication date: 28 June 2023

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-99154-2_15

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40) Specification and verification (program logics, model checking, etc.) (68Q60) Attainable sets, reachability (93B03) Control/observation systems governed by ordinary differential equations (93C15) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Safety verification for probabilistic hybrid systems
• Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem
• Reachability in recursive Markov decision processes
• What's decidable about hybrid automata?
• Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
• Reachability analysis of uncertain systems using bounded-parameter Markov decision processes
• ProbReach
• Reachability in MDPs: Refining Convergence of Value Iteration
• Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
• Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
• Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control

This page was built for publication: Bounded Verification of Reachability of Probabilistic Hybrid Systems