Röger. "Towards Certified Unsolvability in Classical Planning." International Joint Conference on Artificial Intelligence, 2017. doi:10.24963/IJCAI.2017/738
Markdown
[Röger. "Towards Certified Unsolvability in Classical Planning." International Joint Conference on Artificial Intelligence, 2017.](https://mlanthology.org/ijcai/2017/roger2017ijcai-certified/) doi:10.24963/IJCAI.2017/738
BibTeX
@inproceedings{roger2017ijcai-certified,
title = {{Towards Certified Unsolvability in Classical Planning}},
author = {Röger, Gabriele},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2017},
pages = {5141-5145},
doi = {10.24963/IJCAI.2017/738},
url = {https://mlanthology.org/ijcai/2017/roger2017ijcai-certified/}
}