@inproceedings{delgrange2025composing,
title={Composing Reinforcement Learning Policies, with Formal Guarantees},
author={Florent Delgrange and Guy Avni and Anna Lukina and Christian Schilling and Ann Nowe and Guillermo Perez},
booktitle={Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)},
year={2025},
}

{"_id":"H2KP24YGBe7EnSZhB","bibbaseid":"delgrange-avni-lukina-schilling-nowe-perez-composingreinforcementlearningpolicieswithformalguarantees-2025","author_short":["Delgrange, F.","Avni, G.","Lukina, A.","Schilling, C.","Nowe, A.","Perez, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","title":"Composing Reinforcement Learning Policies, with Formal Guarantees","author":[{"firstnames":["Florent"],"propositions":[],"lastnames":["Delgrange"],"suffixes":[]},{"firstnames":["Guy"],"propositions":[],"lastnames":["Avni"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Lukina"],"suffixes":[]},{"firstnames":["Christian"],"propositions":[],"lastnames":["Schilling"],"suffixes":[]},{"firstnames":["Ann"],"propositions":[],"lastnames":["Nowe"],"suffixes":[]},{"firstnames":["Guillermo"],"propositions":[],"lastnames":["Perez"],"suffixes":[]}],"booktitle":"Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)","year":"2025","bibtex":"@inproceedings{delgrange2025composing,\ntitle={Composing Reinforcement Learning Policies, with Formal Guarantees},\nauthor={Florent Delgrange and Guy Avni and Anna Lukina and Christian Schilling and Ann Nowe and Guillermo Perez},\nbooktitle={Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2025)},\nyear={2025},\n}","author_short":["Delgrange, F.","Avni, G.","Lukina, A.","Schilling, C.","Nowe, A.","Perez, G."],"key":"delgrange2025composing","id":"delgrange2025composing","bibbaseid":"delgrange-avni-lukina-schilling-nowe-perez-composingreinforcementlearningpolicieswithformalguarantees-2025","role":"author","urls":{},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"inproceedings","biburl":"https://bibbase.org/network/files/G5eTRxih7rgFAfvXm","dataSources":["zKJJFNb8JGPdNpeGG","WEznGv8jDoFee2dzG"],"keywords":[],"search_terms":["composing","reinforcement","learning","policies","formal","guarantees","delgrange","avni","lukina","schilling","nowe","perez"],"title":"Composing Reinforcement Learning Policies, with Formal Guarantees","year":2025,"downloads":1}