Probabilistic semantic automata in the verification of quantified statements.

Jakub Dotlacil, Jakub Szymanik, Marcin Zajenkowski

Browse the full CogSci paper archive.