Differential Game Logic (Q5277902)
From MaRDI portal
scientific article; zbMATH DE number 6744220
Language | Label | Description | Also known as |
---|---|---|---|
English | Differential Game Logic |
scientific article; zbMATH DE number 6744220 |
Statements
Differential Game Logic (English)
0 references
12 July 2017
0 references
game logic
0 references
hybrid games
0 references
axiomatization
0 references
expressiveness
0 references
0 references
0 references