Sign in
Quantifying the similarity of non-bisimilar labelled transition systems.
Gwen Salaün
Published in:
Sci. Comput. Program. (2021)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
practical reasoning
markov chain
control flow
learning algorithm
artificial intelligence
model checker