Max Sandström | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Jonni Virtema
18 publications
Juha Kontinen
18 publications

research

∙ 04/21/2023

Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity

We introduce and develop a set-based semantics for asynchronous TeamLTL....

0 Juha Kontinen, et al. ∙

research

∙ 10/21/2021

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

In this article we study linear temporal logics with team semantics (Tea...

0 Juha Kontinen, et al. ∙

Success!

An error occurred