DOI,IST REx ID,Research Group,Title of publication
10.24963/ijcai.2024/1,18159,KrCh,Certified policy verification and synthesis for MDPs under distributional reach-avoidance properties
10.24963/ijcai.2024/741,18160,KrCh,Solving long-run average reward robust MDPs via stochastic games
10.24963/ijcai.2021/575,10847,KrCh,Solving partially observable stochastic shortest-path games
10.24963/ijcai.2018/653,5977,KrCh,Computational approaches for stochastic shortest path on succinct MDPs
10.24963/ijcai.2017/11,1003,ToHe,An abstraction-refinement methodology for reasoning about network games
null,11909,,Challenges in web search engines