Checking Timed Automata for Linear Duration Properties.

Jianhua Zhao Dang Van Hung

Published in: J. Comput. Sci. Technol. (2000)

Keyphrases

timed automata
model checking
desirable properties
reinforcement learning
software engineering
linear systems
topological properties
reachability analysis
neural network
artificial intelligence
image processing
case study
feature space
linear model