Login / Signup

Efficient processing of simple temporal networks with uncertainty: algorithms for dynamic controllability verification.

Mikael NilssonJonas KvarnströmPatrick Doherty
Published in: Acta Informatica (2016)
Keyphrases
  • efficient processing
  • simple temporal
  • efficient implementation
  • query processing
  • range queries
  • database
  • temporal constraints
  • data structure
  • information extraction
  • model checking
  • join algorithms