%0 Conference Paper %1 conf/qest/JiF23 %A Ji, Xiaotong %A Filieri, Antonio %B QEST %D 2023 %E Jansen, Nils %E Tribastone, Mirco %I Springer %K dblp %P 311-328 %T Probabilistic Counterexample Guidance for Safer Reinforcement Learning. %U http://dblp.uni-trier.de/db/conf/qest/qest2023.html#JiF23 %V 14287 %@ 978-3-031-43835-6

@inproceedings{conf/qest/JiF23, added-at = {2023-09-20T00:00:00.000+0200}, author = {Ji, Xiaotong and Filieri, Antonio}, biburl = {https://www.bibsonomy.org/bibtex/29dae06edd9bfe158f5dde8a1727feff5/dblp}, booktitle = {QEST}, crossref = {conf/qest/2023}, editor = {Jansen, Nils and Tribastone, Mirco}, ee = {https://doi.org/10.1007/978-3-031-43835-6_22}, interhash = {af87657895bf0b21485470a621577a16}, intrahash = {9dae06edd9bfe158f5dde8a1727feff5}, isbn = {978-3-031-43835-6}, keywords = {dblp}, pages = {311-328}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T12:39:20.000+0200}, title = {Probabilistic Counterexample Guidance for Safer Reinforcement Learning.}, url = {http://dblp.uni-trier.de/db/conf/qest/qest2023.html#JiF23}, volume = 14287, year = 2023 }