TY  - RPRT
TI  - MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the $\exists^*\forall^*$ Fragment
AU  - Bernd Finkbeiner
AU  - Christopher Hahn
AU  - Tobias Hans
PY  - 2019
UR  - https://arxiv.org/abs/1903.11138
ID  - 1903.11138
ER  -