No label defined (Q5028432)
From MaRDI portal
scientific article; zbMATH DE number 7471672
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 7471672 |
Statements
9 February 2022
0 references
parameterized verification
0 references
population protocols
0 references
parameterized synthesis
0 references
Markov decision processes
0 references
regular cost functions
0 references
games
0 references