@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}
}

{"_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}