Login / Signup
An implementation of three algorithms for timing verification based on automata emptiness.
Rajeev Alur
Costas Courcoubetis
David L. Dill
Nicolas Halbwachs
Howard Wong-Toi
Published in:
RTSS (1992)
Keyphrases
</>
theoretical analysis
times faster
learning algorithm
efficient implementation
significant improvement
model checking
computational complexity
orders of magnitude
graph theory
social networks
decision trees
objective function
data structure
general purpose
combinatorial optimization
recently developed