Universality Analysis for One-Clock Timed Automata.

Parosh Aziz Abdulla Johann Deneux Joël Ouaknine Karin Quaas James Worrell

Published in: Fundam. Informaticae (2008)

Keyphrases

real time
neural network
computer vision
decision making
multiscale
search algorithm
artificial neural networks
image analysis
high speed
statistical analysis
timed automata