Pages that link to "Item:Q832046"
From MaRDI portal
The following pages link to Formal abstraction and synthesis of parametric stochastic processes (Q832046):
Displaying 4 items.
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Adaptive and sequential gridding procedures for the abstraction and verification of stochastic processes (Q2871352) (← links)
- Abstraction for Stochastic Systems by Erlang’s Method of Stages (Q3541024) (← links)
- Formal and Efficient Synthesis for Continuous-Time Linear Stochastic Hybrid Processes (Q5853981) (← links)