Observational Preorders for Alternating Transition Systems.

Romain Demangeon Catalin Dima Daniele Varacca

Published in: EUMAS (2023)

Keyphrases

rough sets
transition systems
model checking
concurrent systems
temporal logic
finite state
control flow
practical reasoning
reactive systems
model checker
markov chain
artificial intelligence
petri net
formal methods
formal verification