The Complexity of HyperQPTL

Gaëtan Regaud, Martin Zimmermann

HyperQPTL and HyperQPTL${}^{+}$ are expressive specification languages for hyperproperties, properties that relate multiple executions of a system. Tight complexity bounds are known fo…