Criteria for the Simple Path Property in Timed Automata.

William K. C. Lam Robert K. Brayton

Published in: CAV (1994)

Keyphrases

timed automata
database
computer vision
model checking
desirable properties
theorem prover
data sets
databases
information retrieval
information systems
feature selection
data structure
search algorithm
endpoints
highly reliable
minimum length