Pages that link to "Item:Q3648832"
From MaRDI portal
The following pages link to Compositional Abstraction for Stochastic Systems (Q3648832):
Displaying 10 items.
- Abstract probabilistic automata (Q386011) (← links)
- Consistency and refinement for interval Markov chains (Q444461) (← links)
- Constraint Markov chains (Q554215) (← links)
- Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881) (← links)
- Compositional synthesis of opacity-preserving finite abstractions for interconnected systems (Q2665387) (← links)
- Distributed Synthesis in Continuous Time (Q2811352) (← links)
- Extending modal transition systems with structured labels (Q2909731) (← links)
- The How and Why of Interactive Markov Chains (Q3066128) (← links)
- Abstract Probabilistic Automata (Q3075492) (← links)
- Abstraction for Stochastic Systems by Erlang’s Method of Stages (Q3541024) (← links)