Bozzelli et al. "The Complexity of One-Agent Refinement Modal Logic." International Joint Conference on Artificial Intelligence, 2013.
Markdown
[Bozzelli et al. "The Complexity of One-Agent Refinement Modal Logic." International Joint Conference on Artificial Intelligence, 2013.](https://mlanthology.org/ijcai/2013/bozzelli2013ijcai-complexity/)
BibTeX
@inproceedings{bozzelli2013ijcai-complexity,
title = {{The Complexity of One-Agent Refinement Modal Logic}},
author = {Bozzelli, Laura and van Ditmarsch, Hans and Pinchinat, Sophie},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2013},
pages = {2977-2981},
url = {https://mlanthology.org/ijcai/2013/bozzelli2013ijcai-complexity/}
}