Probabilistic Verification Beyond Context-Freeness.

Guanyan Li Andrzej S. Murawski Luke Ong

Published in: LICS (2022)

Keyphrases

context sensitive
contextual information
probabilistic model
generative model
formal verification
artificial intelligence
search engine
bayesian networks
expert systems
data driven
model checking
posterior probability
context awareness
temporal context
probabilistic approaches