Temporal Logic Monitoring Rewards via Transducers
Bibtex record
@inproceedings{KR2020-89, title = {{Temporal Logic Monitoring Rewards via Transducers}}, author = {De Giacomo, Giuseppe and Favorito, Marco and Iocchi, Luca and Patrizi, Fabio and Ronca, Alessandro}, booktitle = {{Proceedings of the 17th International Conference on Principles of Knowledge Representation and Reasoning}}, pages = {860--870}, year = {2020}, month = {9}, doi = {10.24963/kr.2020/89}, url = {https://doi.org/10.24963/kr.2020/89}, }