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