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