Modal Specifications for Probabilistic Timed Systems.

Tingting Han Christian Krause Marta Z. Kwiatkowska Holger Giese

Published in: QAPL (2013)

Keyphrases

neural network
finite state machines
knowledge based systems
distributed systems
bayesian networks
petri net
e learning
knowledge base
database
information retrieval systems
information systems
social networks
generative model
information retrieval
data mining
probabilistic reasoning
automated verification