Uninterrupted Automatic Broadcasting Based on Timed Automata.

Yizhen Cao Zhiying Duan Yongbin Wang

Published in: ACIT-CSI (2015)

Keyphrases

timed automata
model checking
semi automatic
information retrieval
fully automatic
reachability analysis
neural network
digital video
first order logic
data driven
graphical models
low cost
state space
dynamic programming
theorem prover
image processing
artificial intelligence
genetic algorithm