1. Equilibria for games with combined qualitative and quantitative objectives

   • Julian Gutierrez
   • Aniello Murano
   • Michael Wooldridge

   Original Article 13 June 2020 Pages: 585 - 610

   

2. DKL: an efficient algorithm for learning deterministic Kripke structures

   • Rabia Mazhar
   • Muddassar Azam Sindhu

   Original Article 09 September 2020 Pages: 611 - 651

   

3. Measuring the constrained reachability in quantum Markov chains

   • Ming Xu
   • Cheng-Chao Huang
   • Yuan Feng

   Original Article 04 November 2020 Pages: 653 - 674

   

4. Correction to: Solving high-level Petri games

   • Manuel Gieseking
   • Ernst-Rüdiger Olderog
   • Nick Würdemann

   Correction Open access 08 July 2021 Pages: 675 - 676

5. Correction to: A linear-time branching-time perspective on interface automata

   • Walter Vogler
   • Gerald Lüttgen

   Correction Open access 08 July 2021 Pages: 677 - 677