General Quantitative Specification Theories with Modalities.

Sebastian S. Bauer Uli Fahrenberg Axel Legay Claus R. Thrane

Published in: CSR (2012)

Keyphrases

special case
closely related
high level
real time
machine learning
genetic algorithm
decision trees
similarity measure
computational complexity
artificial neural networks
formal specification
formal logic