Efficient verification of timed automata with BDD-like data structures.

Published in: Int. J. Softw. Tools Technol. Transf. (2004)

Keyphrases

data structure
timed automata
model checking
databases
genetic algorithm
cost effective
space efficient
machine learning
database systems
reinforcement learning
temporal logic
theorem proving
algorithms and data structures