SOS-based Modal Decomposition on Nondeterministic Probabilistic Processes.

Valentina Castiglioni Daniel Gebler Simone Tini

Published in: Log. Methods Comput. Sci. (2018)

Keyphrases

decomposition method
modal logic
databases
finite state
process model
data sets
data driven
social networks
neural network
bayesian networks
multiscale
database systems
generative model
computational model
decision making
information theoretic
real time
probabilistic logic
finite automata