Three-valued abstraction for probabilistic systems.

Joost-Pieter Katoen Daniel Klink Martin Leucker Verena Wolf

Published in: J. Log. Algebraic Methods Program. (2012)

Keyphrases

complex systems
learning systems
computing systems
bayesian networks
computer systems
real time
real world
information systems
multiscale
probabilistic model
management system
information theoretic