MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the \exists ^*\forall ^* ∃ ∗ ∀ ∗ Fragment.

Bernd Finkbeiner, Christopher Hahn, Tobias Hans

Browse the full ATVA paper archive.