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 4 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)
- Verification and Control of Partially Observable Probabilistic Real-Time Systems (Q2945599) (← links)
- Deductive controller synthesis for probabilistic hyperproperties (Q6546464) (← links)
