Login / Signup
State Identification for Labeled Transition Systems with Inputs and Outputs.
Petra van den Bos
Frits W. Vaandrager
Published in:
CoRR (2019)
Keyphrases
</>
transition systems
model checking
concurrent systems
temporal logic
finite state
learning algorithm
training data
control flow
model checker
practical reasoning