Equilibria for games with combined qualitative and quantitative objectives Julian GutierrezAniello MuranoMichael Wooldridge Original Article 13 June 2020 Pages: 585 - 610
DKL: an efficient algorithm for learning deterministic Kripke structures Rabia MazharMuddassar Azam Sindhu Original Article 09 September 2020 Pages: 611 - 651
Measuring the constrained reachability in quantum Markov chains Ming XuCheng-Chao HuangYuan Feng Original Article 04 November 2020 Pages: 653 - 674
Correction to: Solving high-level Petri games Manuel GiesekingErnst-Rüdiger OlderogNick Würdemann Correction Open access 08 July 2021 Pages: 675 - 676
Correction to: A linear-time branching-time perspective on interface automata Walter VoglerGerald Lüttgen Correction Open access 08 July 2021 Pages: 677 - 677