{"id":"2512.21596","title":"Quantitative Verification of Omega-regular Properties in Probabilistic Programming","url":"https://codeofpaper.com/paper/2512.21596","arxiv_url":"https://arxiv.org/abs/2512.21596","published":"2025-12-25","code":"none","best":null,"most_starred_community":null,"implementations":[],"possible_matches":0}