@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},
url_doi={https://dl.acm.org/doi/10.5555/3709347.3743573},
url_github={https://github.com/florentdelgrange/synthesis_from_drl},
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","url_doi":"https://dl.acm.org/doi/10.5555/3709347.3743573","url_github":"https://github.com/florentdelgrange/synthesis_from_drl","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},\nurl_doi={https://dl.acm.org/doi/10.5555/3709347.3743573},\nurl_github={https://github.com/florentdelgrange/synthesis_from_drl},\nyear={2025}\n}\n\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":{" doi":"https://dl.acm.org/doi/10.5555/3709347.3743573"," github":"https://github.com/florentdelgrange/synthesis_from_drl"},"metadata":{"authorlinks":{}},"downloads":2},"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":2}