Login / Signup
A Simpler Alternative: Minimizing Transition Systems Modulo Alternating Simulation Equivalence.
Gabriel de Albuquerque Gleizer
Khushraj Nanik Madnani
Manuel Mazo Jr.
Published in:
CoRR (2022)
Keyphrases
</>
transition systems
concurrent systems
model checking
finite state
temporal logic
artificial intelligence
markov chain
practical reasoning
power system
formal semantics