Local abstraction refinement for probabilistic timed programs.

Klaus Dräger Marta Z. Kwiatkowska David Parker Hongyang Qu

Published in: Theor. Comput. Sci. (2014)

Keyphrases

high level
generative model
uncertain data
bayesian networks
petri net
information theoretic
finite state machines
hardware designs
databases
refinement process
real world
search engine
probabilistic model
object oriented
belief networks