no code implementations • 18 Jan 2021 • Bernd Finkbeiner, Christopher Hahn, Jana Hofmann, Leander Tentrup
We furthermore studied the realizability problem of HyperQPTL.
Logic in Computer Science
no code implementations • 7 Oct 2020 • Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang
We study the expressivity and complexity of model checking linear temporal logic with team semantics (TeamLTL).
Logic in Computer Science Computational Complexity F.4.1; D.2.4