Publications of Fausto Giunchiglia
1997
Planning via Model Checking: A Decision Procedure for {{\it AR}}, in: European Conference on Planning (ECP), pages 130-142, 1997 | , , and ,
[DOI] |
Planning via Model Checking: A Decision Procedure for {{\it AR}}, in: European Conference on Planning (ECP), pages 130-142, 1997 | , , and ,
[DOI] |