Max Sandström

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

Collaborative distances:

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

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

2023

Set Semantics for Asynchronous TeamLTL: Expressivity and Complexity.

Juha Kontinen, Max Sandström, Jonni Virtema

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023

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