Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems (Q4649386)
From MaRDI portal
scientific article; zbMATH DE number 6109494
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems |
scientific article; zbMATH DE number 6109494 |
Statements
Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems (English)
0 references
21 November 2012
0 references
continuous-time systems
0 references
abstraction
0 references
automated verification
0 references
liveness properties
0 references
timed automata
0 references
