%0 Journal Article %1 journals/corr/abs-2403-13297 %A Bouvier, Jean-Baptiste %A Nagpal, Kartik %A Mehr, Negar %D 2024 %J CoRR %K dblp %T POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints. %U http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-13297 %V abs/2403.13297

@article{journals/corr/abs-2403-13297, added-at = {2024-04-08T00:00:00.000+0200}, author = {Bouvier, Jean-Baptiste and Nagpal, Kartik and Mehr, Negar}, biburl = {https://www.bibsonomy.org/bibtex/254e53dcf44332f193123f95cbce68f1a/dblp}, ee = {https://doi.org/10.48550/arXiv.2403.13297}, interhash = {fe8acc82026f03f92127cfdbf356bafe}, intrahash = {54e53dcf44332f193123f95cbce68f1a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-12T14:38:51.000+0200}, title = {POLICEd RL: Learning Closed-Loop Robot Control Policies with Provable Satisfaction of Hard Constraints.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2403.html#abs-2403-13297}, volume = {abs/2403.13297}, year = 2024 }