- IDEALS Home
- →
- Illinois Research and Scholarship (Open Community)
- →
- Browse Illinois Research and Scholarship (Open Community) by Subject
Browse Illinois Research and Scholarship (Open Community) by Subject "verification"
Now showing items 1-1 of 1
-
(2009)Probabilistic B\"{u}chi Automata (\PBA) are randomized, finite state automata that process input strings of infinite length. Based on the threshold chosen for the acceptance probability, different classes of languages can ...
application/pdf
PDF (303kB)
Now showing items 1-1 of 1