Using Language Inference to Verify Omega-Regular Properties.

Abhay Vardhan Koushik Sen Mahesh Viswanathan Gul Agha

Published in: TACAS (2005)

Keyphrases

formal language
language learning
bayesian networks
structural properties
probabilistic inference
inference process
neural network
case study
programming language
desirable properties
language processing
real time
natural language
probabilistic model
inference mechanism
statistical dependencies