Pages that link to "Item:Q2945599"
From MaRDI portal
The following pages link to Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599):
Displaying 8 items.
- Symbolic optimal expected time reachability computation and controller synthesis for probabilistic timed automata (Q517046) (← links)
- Verification and control of partially observable probabilistic systems (Q1699230) (← links)
- Probabilistic reach-avoid problems in nondeterministic systems with time-varying targets and obstacles (Q2139771) (← links)
- Polynomial-time probabilistic observability analysis of sampled-data piecewise affine systems (Q2382595) (← links)
- Data-driven verification of stochastic linear systems with signal temporal logic constraints (Q2665419) (← links)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives (Q3519498) (← links)
- Deductive controller synthesis for probabilistic hyperproperties (Q6546464) (← links)
