%0 Conference Paper %1 conf/ijcnn/QianL20 %A Qian, Li %A Liu, Jing %B IJCNN %D 2020 %I IEEE %K dblp %P 1-8 %T Safe Reinforcement Learning via Probabilistic Timed Computation Tree Logic. %U http://dblp.uni-trier.de/db/conf/ijcnn/ijcnn2020.html#QianL20 %@ 978-1-7281-6926-2

@inproceedings{conf/ijcnn/QianL20, added-at = {2020-10-06T00:00:00.000+0200}, author = {Qian, Li and Liu, Jing}, biburl = {https://www.bibsonomy.org/bibtex/2d83d1b1996953e58874c0748e3354d01/dblp}, booktitle = {IJCNN}, crossref = {conf/ijcnn/2020}, ee = {https://doi.org/10.1109/IJCNN48605.2020.9207384}, interhash = {383839ca681b4ac8be268e0ec5b291f4}, intrahash = {d83d1b1996953e58874c0748e3354d01}, isbn = {978-1-7281-6926-2}, keywords = {dblp}, pages = {1-8}, publisher = {IEEE}, timestamp = {2020-10-07T11:38:49.000+0200}, title = {Safe Reinforcement Learning via Probabilistic Timed Computation Tree Logic.}, url = {http://dblp.uni-trier.de/db/conf/ijcnn/ijcnn2020.html#QianL20}, year = 2020 }