Login / Signup
An Over-Approximation Forward Analysis for Nested Timed Automata.
Yunqing Wen
Guoqiang Li
Shoji Yuen
Published in:
SOFL+MSVL (2014)
Keyphrases
</>
statistical analysis
data analysis
real time
error bounds
quantitative analysis
neural network
artificial intelligence
video sequences
theorem proving
bi directional
forward and backward
timed automata