On the complexity of linear temporal logic with team semantics

2020/10/01 by Martin Lück · 1 citation

paper · doi:10.1016/j.tcs.2020.04.019

Cited by

• Inquisitive Team Semantics of LTL