DOI,IST REx ID,Research Group,Title of publication
10.1145/3340295,6752,ToHe,Infinite-duration bidding games
10.4230/LIPIcs.CONCUR.2017.21,950,"ToHe,KrCh",Infinite-duration bidding games
10.1145/2857050,1380,KrCh,On the complexity of the orbit problem
10.1145/2933575.2934548,1389,KrCh,On recurrent reachability for continuous linear dynamical systems
10.4230/LIPIcs.ICALP.2016.100,1069,KrCh,On the skolem problem for continuous linear dynamical systems