_id,doi,title
6752,10.1145/3340295,Infinite-duration bidding games
950,10.4230/LIPIcs.CONCUR.2017.21,Infinite-duration bidding games
1069,10.4230/LIPIcs.ICALP.2016.100,On the skolem problem for continuous linear dynamical systems
1380,10.1145/2857050,On the complexity of the orbit problem
1389,10.1145/2933575.2934548,On recurrent reachability for continuous linear dynamical systems