On the Expressive Power of TeamLTL and First-Order Team Logic over Hyperproperties.

Juha Kontinen, Max Sandstrm

Browse the full WoLLIC paper archive.