Probabilistic Büchi Automata with Non-extremal Acceptance Thresholds

From MaRDI portal
Publication:3075473