Login / Signup
On the Complexity of LtlModel-Checking of Recursive State Machines.
Salvatore La Torre
Gennaro Parlato
Published in:
ICALP (2007)
Keyphrases
</>
state machines
state machine
artificial intelligence
recurrent networks
training data
fuzzy logic