Using non-convex approximations for efficient analysis of timed automata

Frédéric Herbreteau Dileep Kini B. Srivathsan Igor Walukiewicz

Published in: CoRR (2011)

Keyphrases

model checking
databases
neural network
genetic algorithm
search engine
image segmentation
multiscale
state space
statistical analysis
closed form
efficient computation