HAT: analyzing linear hybrid automata as labelled transition system (Q6165771)
From MaRDI portal
scientific article; zbMATH DE number 7721015
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | HAT: analyzing linear hybrid automata as labelled transition system |
scientific article; zbMATH DE number 7721015 |
Statements
HAT: analyzing linear hybrid automata as labelled transition system (English)
0 references
2 August 2023
0 references
linear hybrid automata
0 references
transition system
0 references
reachability checking
0 references
termination analysis
0 references
invariant generation
0 references
