Trejo, Raul

3 publications

IJCAI 2001 Computational Complexity of Planning with Temporal Goals Chitta Baral, Vladik Kreinovich, Raul Trejo

AAAI 2000 Towards Feasible Approach to Plan Checking Under Probabilistic Uncertainty: Interval Methods Raul Trejo, Vladik Kreinovich, Chitta Baral

IJCAI 1999 Computational Complexity of Planning and Approximate Planning in Presence of Incompleteness Chitta Baral, Vladik Kreinovich, Raul Trejo