Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity.

Juha Kontinen, Max Sandstrm, Jonni Virtema

Browse the full MFCS paper archive.