P
robabilistic_
S
ystem_
Z
oo
Bool_Bounded_Set
Finitely_Bounded_Set_Counterexample
Nonempty_Bounded_Set
Probabilistic_Hierarchy
Vardi
Vardi_Counterexample