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