Zone-Based Universality Analysis for Single-Clock Timed Automata.

Parosh Aziz Abdulla Joël Ouaknine Karin Quaas James Worrell

Published in: FSEN (2007)

Keyphrases

high speed
timed automata
information systems
multiscale
statistical analysis
real time
data sets
databases
neural network
real world
computer vision
natural language
wireless sensor networks
conditional probabilities