Contact DMCA Privacy

Robuta

https://openreview.net/forum?id=R5Y7Sr1DIe&referrer=%5Bthe%20profile%20of%20Tom%C3%A1s%20Lozano-P%C3%A9rez%5D(%2Fprofile%3Fid%3D~Tom%C3%A1s_Lozano-P%C3%A9rez1)
LLM-Guided Probabilistic Program Induction for POMDP Model Estimation | OpenReview
Partially Observable Markov Decision Processes (POMDPs) model decision making under uncertainty. While there are many approaches to approximately solving...
llmguidedprobabilisticprograminduction
https://arxiv.org/abs/2505.16357
[2505.16357] Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
Abstract page for arXiv paper 2505.16357: Efficient Probabilistic Model Checking for Relational Reachability (Extended Version)
probabilistic modelefficientcheckingrelationalreachability
https://www.stormchecker.org/2022/07/31/version.1.7.0.html
Storm -- A Modern Probabilistic Model Checker -- New version 1.7.0
probabilistic modelnew versionstormmodernchecker