Unboundedness Detection for a Class of Communicating Finite-State Machines.

Yao-Tin Yu Mohamed G. Gouda

Published in: Inf. Process. Lett. (1983)

Keyphrases

finite state machines
model checking
regular expressions
detection rate
regular languages
detection algorithm
automatic detection
object detection
false alarms
finite state automata
class labels
object recognition
false positives
detection method
face detection
detection accuracy
neural network