iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/corr/abs-2405-04015.xml
S. Akshay 0001 Krishnendu Chatterjee Tobias Meggendorfer Dorde Zikelic Certified Policy Verification and Synthesis for MDPs under Distributional Reach-avoidance Properties. 2024 abs/2405.04015 CoRR https://doi.org/10.48550/arXiv.2405.04015 db/journals/corr/corr2405.html#abs-2405-04015