On the Complexity of Linear Temporal Logic with Team Semantics

Martin Lück

A specification given as a formula in linear temporal logic (LTL) defines a system by its set of traces. However, certain features such as information flow security constraints are…