%0 Conference Paper %1 conf/cav/AbateGR24 %A Abate, Alessandro %A Giacobbe, Mirco %A Roy, Diptarko %B CAV (3) %D 2024 %E Gurfinkel, Arie %E Ganesh, Vijay %I Springer %K dblp %P 395-419 %T Stochastic Omega-Regular Verification and Control with Supermartingales. %U http://dblp.uni-trier.de/db/conf/cav/cav2024-3.html#AbateGR24 %V 14683 %@ 978-3-031-65633-0

@inproceedings{conf/cav/AbateGR24, added-at = {2024-08-22T00:00:00.000+0200}, author = {Abate, Alessandro and Giacobbe, Mirco and Roy, Diptarko}, biburl = {https://www.bibsonomy.org/bibtex/2e1b4c2ca0ba76e3fab12cf78c368f4d1/dblp}, booktitle = {CAV (3)}, crossref = {conf/cav/2024-3}, editor = {Gurfinkel, Arie and Ganesh, Vijay}, ee = {https://doi.org/10.1007/978-3-031-65633-0_18}, interhash = {6a670cfc3c85ba257b9b44164d6da12e}, intrahash = {e1b4c2ca0ba76e3fab12cf78c368f4d1}, isbn = {978-3-031-65633-0}, keywords = {dblp}, pages = {395-419}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-08-26T07:54:31.000+0200}, title = {Stochastic Omega-Regular Verification and Control with Supermartingales.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2024-3.html#AbateGR24}, volume = 14683, year = 2024 }