Login / Signup

Decidability of Verification of Safety Properties of Spatial Families of Linear Hybrid Automata.

Werner DammMatthias HorbachViorica Sofronie-Stokkermans
Published in: FroCos (2015)
Keyphrases
  • hybrid automata
  • spatial data
  • spatial and temporal
  • query answering
  • database
  • spatio temporal
  • reinforcement learning
  • description logics
  • spatial information
  • spatial relations
  • spatial relationships