94 citations · 253 across the 14 of their papers we have counts for
1 paper · 1 filter
Jonni Virtema, Jana Hofmann, Bernd Finkbeiner +2
We study the expressivity and complexity of model checking linear temporal logic with team semantics (TeamLTL). TeamLTL, despite being a purely modal logic, is capable of defining…