Complement for two-way alternating automata Viliam GeffertChristos A. KapoutsisMohammad Zakzok Original Article 17 February 2020 Pages: 463 - 495
Indecision and delays are the parents of failure—taming them algorithmically by synthesizing delay-resilient control Mingshuai ChenMartin FränzleNaijun Zhan Original Article Open access 20 February 2020 Pages: 497 - 528
Team bisimilarity, and its associated modal logic, for BPP nets Roberto Gorrieri Original Article 13 March 2020 Pages: 529 - 569
Bitopological duality for algebras of Fitting’s logic and natural duality extension Litan Kumar DasKumar Sankar Ray Original Article 24 May 2020 Pages: 571 - 584