Login / Signup

New Techniques for Checking Dynamic Controllability of Simple Temporal Networks with Uncertainty.

Luke Hunsberger
Published in: ICAART (Revised Selected Papers) (2014)
Keyphrases
  • simple temporal
  • temporal constraints
  • temporal reasoning
  • dynamic environments
  • plan execution
  • temporal planning
  • lower bound
  • np hard
  • domain specific