Mathias M. Sørensen

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 2

Top Topics

Alternating Time Temporal Logic

Intrusion Detection

Top Venues

Publications

Falke B. Ø. Carlsen, Lars Bo P. Frydenskov, Nicolaj Ø. Jensen, Jener Rasmussen, Mathias M. Sørensen, Asger G. Weirsøe, Mathias Claus Jensen, Kim G. Larsen
CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. GandALF (2023)
Falke B. Ø. Carlsen, Jacob J. Rasmussen, Mathias M. Sørensen, Nicolaj Ø. Jensen, Michele Albano
Generation of Realistic Activity Scenarios for SUMO. MobiQuitous (2020)