State Identification for Labeled Transition Systems with Inputs and Outputs.

Petra van den Bos Frits W. Vaandrager

Published in: FACS (2019)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
training data
artificial intelligence
state space
finite state
distributed systems
reactive systems