Max Sandström

According to our database, Max Sandström authored at least 3 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2025

Set semantics for asynchronous TeamLTL: Expressivity and complexity.

Juha Kontinen, Max Sandström, Jonni Virtema

Inf. Comput., 2025

2024

A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL.

Juha Kontinen, Max Sandström, Jonni Virtema

Proceedings of the Foundations of Information and Knowledge Systems, 2024

2021

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

Juha Kontinen, Max Sandström

Proceedings of the Logic, Language, Information, and Computation, 2021