_id,doi,title
9393,10.1007/s10703-021-00373-5,Faster algorithms for quantitative verification in bounded treewidth graphs
9640,10.1038/s41467-021-24271-w,Fast and strong amplifiers of natural selection
10293,10.15479/at:ista:10293,Evolution of cooperation via (in)direct reciprocity under imperfect information
7808,10.1007/978-3-030-45237-7_5,How many bits does it take to quantize your neural network?
7810,10.1007/978-3-030-44914-8_5,Optimal and perfectly parallel algorithms for on-demand data-flow analysis
8089,10.1145/3385412.3385969,Polynomial invariant generation for non-deterministic recursive programs
8287,,Reachability analysis of linear hybrid systems via block decomposition
8600,10.4230/LIPIcs.CONCUR.2020.23,Multi-dimensional long-run average problems for vector addition systems with states
8728,10.1007/978-3-030-59152-6_14,Faster algorithms for quantitative analysis of MCs and MDPs with small treewidth
8788,10.1109/TCAD.2020.3012803,Precedence-aware automated competitive analysis of real-time scheduling
8790,10.1109/TCAD.2020.3012859,Reachability analysis of linear hybrid systems via block decomposition
7346,10.4230/LIPIcs.OPODIS.2019.21,The evolutionary price of anarchy: Locally bounded agents in a dynamic virus game
7505,10.3233/FAIA200375,Outside the box: Abstraction-based monitoring of neural networks
6836,10.1038/s41586-019-1488-5,Social dilemmas among unequals
7014,10.1145/3339984,Non-polynomial worst-case analysis of recursive programs
7109,10.1145/3286976,From real-time logic to timed automata
7183,10.1007/978-3-030-31784-3_27,Deciding fast termination for probabilistic VASS with nondeterminism
7210,10.1038/s42003-019-0373-y,Population structure determines the tradeoff between fixation probability and fixation time
7231,10.1007/978-3-030-29662-9_8,Piecewise robust barrier tubes for nonlinear hybrid systems with uncertainty
7232,10.1007/978-3-030-29662-9_4,Mixed-time signal temporal logic