Pages that link to "Item:Q5898991"
From MaRDI portal
The following pages link to Hybrid Systems: Computation and Control (Q5898991):
Displaying 10 items.
- Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936) (← links)
- Safe autonomy under perception uncertainty using chance-constrained temporal logic (Q682357) (← links)
- Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668) (← links)
- Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems (Q3523106) (← links)
- Modeling and Simulation of Biochemical Processes Using Stochastic Hybrid Systems: The Sugar Cataract Development Process (Q3523126) (← links)
- Risk-aware controller for autonomous vehicles using model-based collision prediction and reinforcement learning (Q6103673) (← links)
- Distributionally Robust Strategy Synthesis for Switched Stochastic Systems (Q6202089) (← links)
- Interval Markov Decision Processes with Continuous Action-Spaces (Q6202090) (← links)