Verifying Timed Behavior Automata with Input/Output Critical Races.

David K. Probst Hon Fung Li

Published in: CAV (1993)

Keyphrases

input output
timed automata
model checking
state transition
finite state machines
internal states
fuzzy model
markov chain
cellular automata
regular expressions
fuzzy controller
nonlinear functions
fuzzy modeling
noise cancellation
neural network
data envelopment analysis
fuzzy neural network