Login / Signup

An Over-Approximation Forward Analysis for Nested Timed Automata.

Yunqing WenGuoqiang LiShoji 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