A Compositional Semantics of Boolean-Logic Driven Markov Processes.

Shahid Khan Joost-Pieter Katoen Marc Bouissou

Published in: IEEE Trans. Dependable Secur. Comput. (2024)

Keyphrases

markov processes
boolean logic
compositional semantics
markov chain
markov process
natural language
stochastic processes
non stationary
truth values
random fields
state space
semantic parser
random walk
machine learning
probabilistic model
bayesian networks
similarity measure
image sequences