On Promptness in Parity Games*† (Q2805469)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On Promptness in Parity Games*† |
scientific article |
Statements
On Promptness in Parity Games*† (English)
0 references
11 May 2016
0 references
parity games
0 references
formal verification
0 references
liveness
0 references
promptness
0 references
cost-parity games
0 references
quantitative games
0 references
\textsc{UPTime}\(\cap\)\textsc{CoUPTime}
0 references
