Pages that link to "Item:Q624936"
From MaRDI portal
The following pages link to Verification of discrete time stochastic hybrid systems: a stochastic reach-avoid decision problem (Q624936):
Displayed 11 items.
- On the computational complexity and generalization properties of multi-stage and stage-wise coupled scenario programs (Q313286) (← links)
- Characterization and computation of infinite-horizon specifications over Markov processes (Q386604) (← links)
- Reachability for partially observable discrete time stochastic hybrid systems (Q466266) (← links)
- Performance assessment and design of abstracted models for stochastic hybrid systems through a randomized approach (Q473311) (← links)
- Control synthesis for stochastic systems given automata specifications defined by stochastic sets (Q503162) (← links)
- Quantitative model-checking of controlled discrete-time Markov processes (Q515573) (← links)
- State constrained reachability for stochastic hybrid systems (Q547913) (← links)
- Discrete-time hybrid control in Borel spaces: average cost optimality criterion (Q1746693) (← links)
- A dynamic game approach to distributionally robust safety specifications for stochastic systems (Q1797093) (← links)
- A stochastic games framework for verification and control of discrete time stochastic hybrid systems (Q2628473) (← links)
- Stochastic system controller synthesis for reachability specifications encoded by random sets (Q2628510) (← links)