Sound and Complete Algorithms for Checking the Dynamic Controllability of Temporal Networks with Uncertainty, Disjunction and Observation Conference Paper uri icon

authors

  • Cimatti, Alessandro
  • Hunsberger, Luke
  • Micheli, Andrea
  • Posenato, Roberto
  • Roveri, Marco

publication date

  • January 1, 2014