94 citations · 253 across the 14 of their papers we have counts for
1 paper · 2 filters
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…