Seguir
Max Sandström
Max Sandström
Doctoral researcher, University of Helsinki; Teaching and Research Assistant, University of Sheffield
Dirección de correo verificada de sheffield.ac.uk
Título
Citado por
Citado por
Año
Detecting lane departures from steering wheel signal
M Sandström, E Lampsijärvi, A Holmström, G Maconi, S Ahmadzai, ...
Accident Analysis & Prevention 99, 272-278, 2017
122017
On the expressive power of TeamLTL and first-order team logic over hyperproperties
J Kontinen, M Sandström
International Workshop on Logic, Language, Information, and Computation, 302-318, 2021
32021
Set semantics for asynchronous TeamLTL: Expressivity and complexity
J Kontinen, M Sandström, J Virtema
arXiv preprint arXiv:2304.10915, 2023
12023
A Remark on the Expressivity of Asynchronous TeamLTL and HyperLTL
J Kontinen, M Sandström, J Virtema
International Symposium on Foundations of Information and Knowledge Systems …, 2024
2024
Expressivity of Linear Temporal Logic under Team Semantics
M Sandström
Workshop on Logics of Dependence and Independence (LoDE 2020V), 47, 2020
2020
Modal Logics and Bisimulation Invariance
M Sandström, J Kontinen
Helsingin yliopisto, 2019
2019
An Ouroboros of Team Temporal Logics
M Sandström
Scandinavian Logic Symposium (SLSS 2022), 0
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–7