_id,doi,title
5977,10.24963/ijcai.2018/653,Computational approaches for stochastic shortest path on succinct MDPs
1003,10.24963/ijcai.2017/11,An abstraction-refinement methodology for reasoning about network games