Adding Symmetry Reduction to Uppaal.

Martijn Hendriks Gerd Behrmann Kim Guldstrand Larsen Peter Niebert Frits W. Vaandrager

Published in: FORMATS (2003)

Keyphrases

model checking
genetic algorithm
data reduction
controller synthesis
real world
machine learning
database systems
computational complexity
artificial neural networks