AAAI Publications, Workshops at the Twenty-Seventh AAAI Conference on Artificial Intelligence

Font Size: 
Chance-Constrained Strong Controllability of Temporal Plan Networks with Uncertainty
Pedro Henrique Rodrigues Quemel e Assis Santana, Brian Charles Williams

Last modified: 2013-06-29

Abstract


This works presents a novel approach for determining chance-constrained strong controllability of Temporal Plan Networks with Uncertainty (TPNU) by framing it as an Optimal Satisfiability Problem (OpSAT).

Full Text: PDF