Prati
Max Sandström
Max Sandström
Doctoral researcher, University of Helsinki; Teaching and Research Assistant, University of Sheffield
Potvrđena adresa e-pošte na sheffield.ac.uk
Naslov
Citirano
Citirano
Godina
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
132017
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
42021
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
Sustav trenutno ne može provesti ovu radnju. Pokušajte ponovo kasnije.
Članci 1–7