Towards monitoring temporal properties with JamaicaVM.

Clemens Ballarin

Published in: JTRES (2013)

Keyphrases

temporal properties
model checking
formal methods
monitoring system
possibility theory
real time
cooperative
formal specification
temporal logic
artificial neural networks
knowledge based systems
expert systems
multi agent systems
pattern recognition
bayesian networks
genetic algorithm
machine learning