An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited

Carlo Combi, Luke Hunsberger, Roberto Posenato. An Algorithm for Checking the Dynamic Controllability of a Conditional Simple Temporal Network with Uncertainty - Revisited. In Joaquim Filipe, Ana L. N. Fred, editors, Agents and Artificial Intelligence - 5th International Conference, ICAART 2013, Barcelona, Spain, February 15-18, 2013. Revised Selected Papers. Volume 449 of Communications in Computer and Information Science, pages 314-331, Springer, 2013. [doi]

Abstract

Abstract is missing.