Подписаться
Max Sandström
Max Sandström
Doctoral researcher, University of Helsinki; Teaching and Research Assistant, University of Sheffield
Подтвержден адрес электронной почты в домене sheffield.ac.uk
Название
Процитировано
Процитировано
Год
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
142017
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
72021
Set semantics for asynchronous TeamLTL: Expressivity and complexity
J Kontinen, M Sandström, J Virtema
arXiv preprint arXiv:2304.10915, 2023
52023
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
32024
Expressivity of Linear Temporal Logic under Team Semantics
M Sandström
Short Papers Advances in Modal Logic AiML 2020, 91, 2020
2020
Modal Logics and Bisimulation Invariance
M Sandström, J Kontinen
Helsingin yliopisto, 2019
2019
3.22 A Set Based Semantics for Asynchronous TeamLTL
M Sandström
Logics for Dependence and Independence: Expressivity and Complexity, 47, 0
An Ouroboros of Team Temporal Logics
M Sandström
Scandinavian Logic Symposium (SLSS 2022), 0
В данный момент система не может выполнить эту операцию. Повторите попытку позднее.
Статьи 1–8