Symbolic control for stochastic systems via finite parity games (Q6122792)
From MaRDI portal
scientific article; zbMATH DE number 7812048
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Symbolic control for stochastic systems via finite parity games |
scientific article; zbMATH DE number 7812048 |
Statements
Symbolic control for stochastic systems via finite parity games (English)
0 references
1 March 2024
0 references
correct-by-design controller synthesis
0 references
controlled Markov processes
0 references
stochastic dynamical systems
0 references
\(\omega\)-regular specifications
0 references
0 references
0 references
0 references
0 references
0 references
0 references
0 references
