On the complexity of linear temporal logic with team semantics.

Published in: Theor. Comput. Sci. (2020)

Keyphrases

linear temporal logic
temporal logic
computational complexity
general purpose
model checking
team members
bounded model checking
formal semantics
programming language
temporally extended goals
agent oriented programming language