Pages that link to "Item:Q2158881"

The following pages link to Abstraction-based synthesis for stochastic systems with omega-regular objectives (Q2158881):

Displaying 4 items.

• Automated verification and synthesis of stochastic hybrid systems: a survey (Q2097770) (← links)
• Symbolic control for stochastic systems via finite parity games (Q6122792) (← links)
• A direct symbolic algorithm for solving stochastic Rabin games (Q6535608) (← links)
• A flexible toolchain for symbolic Rabin games under fair and stochastic uncertainties (Q6535676) (← links)