Tobias Hans

According to our database, Tobias Hans authored at least 2 papers between 2018 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

MGHyper: Checking Satisfiability of HyperLTL Formulas Beyond the ∃^*∀^* Fragment.

Bernd Finkbeiner, Christopher Hahn, Tobias Hans

CoRR, 2019

2018

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

Bernd Finkbeiner, Christopher Hahn, Tobias Hans

Proceedings of the Automated Technology for Verification and Analysis, 2018