Prophecies All the Way: Game-Based Model-Checking for HyperQPTL Beyond ∀*∃*.

Sarah Winter, Martin Zimmermann

Browse the full CONCUR paper archive.