Efficient Guiding Towards Cost-Optimality in UPPAAL.

Gerd Behrmann Ansgar Fehnker

Published in: TACAS (2001)

Keyphrases

database
data structure
cost effective
storage cost
machine learning
model checking
data mining
e learning
website
optimal solution
closed loop