@inproceedings{dotlacil+14b,

author = {Dotla\v{c}il, Jakub and Szymanik, Jakub and Zajenkowski, Marcyn},

title = {Probabilistic semantic automata in the verification of quantified statements},

booktitle = {Proceedings of the 36th Annual Conference of the Cognitive Science Society, 2014},

year = {2014}

pages = {2967--2972}

}