MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the exists ^* forall ^* ∃ ∗ ∀ ∗ Fragment. - Bernd Finkbeiner; Christopher Hahn; Tobias Hans (ATVA, 2018)

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃*∀* Fragment. - Bernd Finkbeiner; Christopher Hahn; Tobias Hans (CoRR, 2019)