Login / Signup
On the Existence and Production of State Identification Machines for Labelled Transition Systems.
Jari Arkko
Published in:
FORTE (1993)
Keyphrases
</>
transition systems
concurrent systems
model checking
state space
finite state
temporal logic
search algorithm
hidden markov models