Login / Signup
Diagnosability of fair transition systems.
Benjamin Bittner
Marco Bozzano
Alessandro Cimatti
Marco Gario
Stefano Tonetta
Viktória Vozárová
Published in:
Artif. Intell. (2022)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
data flow
reactive systems
learning algorithm
knowledge base
software engineering
model checker