Faster Than Uppaal?

Sebastian Kupferschmid Martin Wehrle Bernhard Nebel Andreas Podelski

Published in: CAV (2008)

Keyphrases

model checking
database
artificial intelligence
timed automata
databases
metadata
decision trees
optimal solution