State identification for labeled transition systems with inputs and outputs.

Petra van den Bos Frits W. Vaandrager

Published in: Sci. Comput. Program. (2021)

Keyphrases

transition systems
model checking
temporal logic
concurrent systems
control flow
social networks
knowledge base
training data
state space
model checker
practical reasoning
fully observable