Login / Signup

Sound-and-Complete Algorithms for Checking the Dynamic Controllability of Conditional Simple Temporal Networks with Uncertainty.

Luke HunsbergerRoberto Posenato
Published in: TIME (2018)
Keyphrases
  • simple temporal
  • temporal constraints
  • temporal reasoning
  • dynamic environments
  • orders of magnitude
  • databases
  • learning algorithm
  • video sequences
  • conditional probabilities