Statistics of PAT: Towards flexible verification under fairness

Contact ORBilu