Why Liveness for Timed Automata Is Hard, and What We Can Do About It (Q4636598)
From MaRDI portal
scientific article; zbMATH DE number 6862076
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Why Liveness for Timed Automata Is Hard, and What We Can Do About It |
scientific article; zbMATH DE number 6862076 |
Statements
19 April 2018
0 references
timed automata
0 references
model checking
0 references
liveness invariant
0 references
state subsumption
0 references
Why Liveness for Timed Automata Is Hard, and What We Can Do About It (English)
0 references
