Crossing the Bridge between Similar Games (Q3172850)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Crossing the Bridge between Similar Games |
scientific article |
Statements
Crossing the Bridge between Similar Games (English)
0 references
7 October 2011
0 references
formal verification of hybrid systems
0 references
robust simulation
0 references
logics for hybrid systems
0 references
hybrid games
0 references
0 references
