Regular Clocks for Temporal Task Specifications in Reinforcement Learning. Giacomo, G. D., Favorito, M., & Patrizi, F. In Artale, A., Cortellessa, G., & Montali, M., editors, AIxIA 2024 - Advances in Artificial Intelligence - XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024, Proceedings, volume 15450, of Lecture Notes in Computer Science, pages 147–160, 2024. Springer.
Paper doi bibtex @inproceedings{DBLP:conf/aiia/GiacomoFP24,
author = {Giuseppe De Giacomo and
Marco Favorito and
Fabio Patrizi},
editor = {Alessandro Artale and
Gabriella Cortellessa and
Marco Montali},
title = {Regular Clocks for Temporal Task Specifications in Reinforcement Learning},
booktitle = {AIxIA 2024 - Advances in Artificial Intelligence - XXIIIrd International
Conference of the Italian Association for Artificial Intelligence,
AIxIA 2024, Bolzano, Italy, November 25-28, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15450},
pages = {147--160},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-80607-0\_12},
doi = {10.1007/978-3-031-80607-0\_12},
timestamp = {Sat, 25 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiia/GiacomoFP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"ywqgDdP39aqAr7g2u","bibbaseid":"giacomo-favorito-patrizi-regularclocksfortemporaltaskspecificationsinreinforcementlearning-2024","author_short":["Giacomo, G. D.","Favorito, M.","Patrizi, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Favorito"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Patrizi"],"suffixes":[]}],"editor":[{"firstnames":["Alessandro"],"propositions":[],"lastnames":["Artale"],"suffixes":[]},{"firstnames":["Gabriella"],"propositions":[],"lastnames":["Cortellessa"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Montali"],"suffixes":[]}],"title":"Regular Clocks for Temporal Task Specifications in Reinforcement Learning","booktitle":"AIxIA 2024 - Advances in Artificial Intelligence - XXIIIrd International Conference of the Italian Association for Artificial Intelligence, AIxIA 2024, Bolzano, Italy, November 25-28, 2024, Proceedings","series":"Lecture Notes in Computer Science","volume":"15450","pages":"147–160","publisher":"Springer","year":"2024","url":"https://doi.org/10.1007/978-3-031-80607-0\\_12","doi":"10.1007/978-3-031-80607-0_12","timestamp":"Sat, 25 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/conf/aiia/GiacomoFP24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/aiia/GiacomoFP24,\n author = {Giuseppe De Giacomo and\n Marco Favorito and\n Fabio Patrizi},\n editor = {Alessandro Artale and\n Gabriella Cortellessa and\n Marco Montali},\n title = {Regular Clocks for Temporal Task Specifications in Reinforcement Learning},\n booktitle = {AIxIA 2024 - Advances in Artificial Intelligence - XXIIIrd International\n Conference of the Italian Association for Artificial Intelligence,\n AIxIA 2024, Bolzano, Italy, November 25-28, 2024, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {15450},\n pages = {147--160},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-80607-0\\_12},\n doi = {10.1007/978-3-031-80607-0\\_12},\n timestamp = {Sat, 25 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/conf/aiia/GiacomoFP24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giacomo, G. D.","Favorito, M.","Patrizi, F."],"editor_short":["Artale, A.","Cortellessa, G.","Montali, M."],"key":"DBLP:conf/aiia/GiacomoFP24","id":"DBLP:conf/aiia/GiacomoFP24","bibbaseid":"giacomo-favorito-patrizi-regularclocksfortemporaltaskspecificationsinreinforcementlearning-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-80607-0\\_12"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/223/5577.bib","dataSources":["wEiHsBTX9GRcns3Hd"],"keywords":[],"search_terms":["regular","clocks","temporal","task","specifications","reinforcement","learning","giacomo","favorito","patrizi"],"title":"Regular Clocks for Temporal Task Specifications in Reinforcement Learning","year":2024}