HyperPAYNT

HyperPAYNT is an extension of the PAYNT tool for the synthesis of probabilistic programs and (PO)MDP controllers. Additionally, it supports probabilistic hyperproperties requirements, expressed in a custom syntax based on HyperPCTL. It is available as a Docker artifact here.