%0 Conference Paper %1 conf/iros/WenET15 %A Wen, Min %A Ehlers, Rüdiger %A Topcu, Ufuk %B IROS %D 2015 %I IEEE %K dblp %P 4983-4990 %T Correct-by-synthesis reinforcement learning with temporal logic constraints. %U http://dblp.uni-trier.de/db/conf/iros/iros2015.html#WenET15 %@ 978-1-4799-9994-1

@inproceedings{conf/iros/WenET15, added-at = {2021-07-25T00:00:00.000+0200}, author = {Wen, Min and Ehlers, Rüdiger and Topcu, Ufuk}, biburl = {https://www.bibsonomy.org/bibtex/2fdf5ad3be793e83d2e6b707d48d8f41b/dblp}, booktitle = {IROS}, crossref = {conf/iros/2015}, ee = {https://doi.org/10.1109/IROS.2015.7354078}, interhash = {0a014cb8ed69e1e95af995cae76ad681}, intrahash = {fdf5ad3be793e83d2e6b707d48d8f41b}, isbn = {978-1-4799-9994-1}, keywords = {dblp}, pages = {4983-4990}, publisher = {IEEE}, timestamp = {2024-04-10T13:52:42.000+0200}, title = {Correct-by-synthesis reinforcement learning with temporal logic constraints.}, url = {http://dblp.uni-trier.de/db/conf/iros/iros2015.html#WenET15}, year = 2015 }