%0 Conference Paper %1 conf/aistats/ZhangMSS24 %A Zhang, Zhi %A Ma, Chenyu %A Soudijani, Saleh %A Soudjani, Sadegh %B AISTATS %D 2024 %E Dasgupta, Sanjoy %E Mandt, Stephan %E Li, Yingzhen %I PMLR %K dblp %P 3277-3285 %T Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation. %U http://dblp.uni-trier.de/db/conf/aistats/aistats2024.html#ZhangMSS24 %V 238

@inproceedings{conf/aistats/ZhangMSS24, added-at = {2024-05-13T00:00:00.000+0200}, author = {Zhang, Zhi and Ma, Chenyu and Soudijani, Saleh and Soudjani, Sadegh}, biburl = {https://www.bibsonomy.org/bibtex/26aa12964dbba99b3bfcfbe10eaa23cd9/dblp}, booktitle = {AISTATS}, crossref = {conf/aistats/2024}, editor = {Dasgupta, Sanjoy and Mandt, Stephan and Li, Yingzhen}, ee = {https://proceedings.mlr.press/v238/zhang24i.html}, interhash = {706e6bff3b0aea90e47035ade2528421}, intrahash = {6aa12964dbba99b3bfcfbe10eaa23cd9}, keywords = {dblp}, pages = {3277-3285}, publisher = {PMLR}, series = {Proceedings of Machine Learning Research}, timestamp = {2024-05-20T07:23:13.000+0200}, title = {Formal Verification of Unknown Stochastic Systems via Non-parametric Estimation.}, url = {http://dblp.uni-trier.de/db/conf/aistats/aistats2024.html#ZhangMSS24}, volume = 238, year = 2024 }