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 | 12 | 2017 |
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 | 3 | 2021 |
Set semantics for asynchronous TeamLTL: Expressivity and complexity J Kontinen, M Sandström, J Virtema arXiv preprint arXiv:2304.10915, 2023 | 1 | 2023 |
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 | | |