mctau: Bridging the Gap between Modest and UPPAAL.

Jonathan Bogdoll Alexandre David Arnd Hartmanns Holger Hermanns

Published in: SPIN (2012)

Keyphrases

model checking
timed automata
controller synthesis
model checker
neural network
training data
pattern recognition
domain specific
machine learning
fuzzy logic
general purpose
real time
reinforcement learning
evolutionary algorithm
knowledge discovery
theorem prover