_id,doi,title
1335,10.1007/978-3-662-53413-7_2,Quantitative monitor automata
1340,10.1007/978-3-662-53354-3_6,The big match in small space
1380,10.1145/2857050,On the complexity of the orbit problem
1386,10.1007/978-3-319-41528-4_1,Termination analysis of probabilistic programs through Positivstellensatz's
1389,10.1145/2933575.2934548,On recurrent reachability for continuous linear dynamical systems
1397,,Algorithms for partially observable markov decision processes
1423,10.1038/srep25676,Comparing reactive and memory-one strategies of direct reciprocity
1426,10.1098/rsos.160036,Coevolutionary interactions between farmers and mafia induce host acceptance of avian brood parasites
1182,,Robust draws in balanced knockout tournaments
1200,10.1016/j.plrev.2016.10.004,"Only the combination of mathematics and agent based simulations can leverage the full potential of evolutionary modeling: Comment on “Evolutionary game theory using agent-based methods” by C. Adami, J. Schossau and A. Hintze"
1245,10.1145/2818052.2869122,Game-theoretic models identify useful principles for peer collaboration in online learning platforms
9867,10.1371/journal.pone.0163867.s008,Experimental game instructions
9868,10.1371/journal.pone.0163867.s009,Experimental data
10796,10.1137/1.9781611973730.69,The value 1 problem under finite-memory strategies for concurrent mean-payoff games
1624,10.1038/srep17147,Cellular cooperation with shift updating and repulsion
1656,10.1109/LICS.2015.72,Nested weighted automata
1657,10.1109/LICS.2015.32,Unifying two views on multiple mean-payoff objectives in Markov decision processes
1660,10.1109/LICS.2015.15,Long-run average behaviour of probabilistic vector addition systems
1661,10.1109/LICS.2015.34,Improved algorithms for one-pair and k-pair Streett objectives
1665,10.1038/nature15395,Mutations driving CLL and their evolution in progression and relapse