Probabilistic Bchi Automata with Non-extremal Acceptance Thresholds.

Rohit Chadha, A. Prasad Sistla, Mahesh Viswanathan

Browse the full VMCAI paper archive.