Login / Signup
Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.
Werner Damm
Matthias Horbach
Viorica Sofronie-Stokkermans
Published in:
CoRR (2016)
Keyphrases
</>
hybrid automata
spatio temporal
model checking
database systems
spatial data
spatial and temporal
spatial information
finite state automata
lower bound
object oriented
spatial databases
spatial relationships
formal methods
spatial structure