1. Complement for two-way alternating automata

   • Viliam Geffert
   • Christos A. Kapoutsis
   • Mohammad Zakzok

   Original Article 17 February 2020 Pages: 463 - 495

   

2. Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control

   • Mingshuai Chen
   • Martin Fränzle
   • Naijun Zhan

   Original Article Open access 20 February 2020 Pages: 497 - 528

   

3. Team bisimilarity, and its associated modal logic, for BPP nets

   • Roberto Gorrieri

   Original Article 13 March 2020 Pages: 529 - 569

   

4. Bitopological duality for algebras of Fitting’s logic and natural duality extension

   • Litan Kumar Das
   • Kumar Sankar Ray

   Original Article 24 May 2020 Pages: 571 - 584