De Giacomo et al. "Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2022. doi:10.24963/IJCAI.2022/798
Markdown
[De Giacomo et al. "Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)." International Joint Conference on Artificial Intelligence, 2022.](https://mlanthology.org/ijcai/2022/giacomo2022ijcai-situation/) doi:10.24963/IJCAI.2022/798
BibTeX
@inproceedings{giacomo2022ijcai-situation,
title = {{Situation Calculus for Controller Synthesis in Manufacturing Systems with First-Order State Representation (Extended Abstract)}},
author = {De Giacomo, Giuseppe and Felli, Paolo and Logan, Brian and Patrizi, Fabio and Sardiña, Sebastian},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2022},
pages = {5722-5726},
doi = {10.24963/IJCAI.2022/798},
url = {https://mlanthology.org/ijcai/2022/giacomo2022ijcai-situation/}
}