_id,doi,title
10674,10.23638/LMCS-17(1:10)2021,Determinacy in discrete-bidding infinite-duration games
8793,10.1016/j.dam.2020.10.022,Optimal strategies for selecting coordinators
10199,10.15479/at:ista:10199,Improved verification techniques for concurrent systems
8600,10.4230/LIPIcs.CONCUR.2020.23,Multi-dimensional long-run average problems for vector addition systems with states
6761,10.1016/j.tcs.2019.06.031,Dynamic resource allocation games
7348,10.4230/LIPIcs.CSL.2020.20,Monitoring event frequencies
9197,10.1609/aaai.v34i02.5546,All-pay bidding games on graphs
6752,10.1145/3340295,Infinite-duration bidding games
6822,10.1007/978-3-030-30806-3_1,Bidding games on Markov decision processes
6884,10.4230/LIPICS.MFCS.2019.11,Bidding mechanisms in graph games
6885,10.4230/LIPICS.CONCUR.2019.27,Long-run average behavior of vector addition systems with states
6886,10.4230/LIPICS.CONCUR.2019.20,Determinacy in discrete-bidding infinite-duration games
6942,10.1007/978-3-030-30281-8_7,Strategy representation by decision trees with linear classifiers
7159,10.1007/978-3-030-32079-9_17,Shape expressions for specifying and extracting signal features
7453,10.1007/978-3-319-91908-9_22,Continuous-time models for system design and analysis
133,10.4230/LIPIcs.CONCUR.2018.21,Synchronizing the asynchronous
3316,10.1109/SIES.2011.5953660,Specification-centered robustness