Diagnosability of fair transition systems

Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Marco Gario, Stefano Tonetta, Viktória Vozárová. Diagnosability of fair transition systems. Artificial Intelligence, 309:103725, 2022. [doi]

Abstract

Abstract is missing.