Generation of Realistic Activity Scenarios for SUMO. - Falke B. Ø. Carlsen; Jacob J. Rasmussen; Mathias M. Sørensen; Nicolaj Ø. Jensen; Michele Albano (MobiQuitous, 2020)

CGAAL: Distributed On-The-Fly ATL Model Checker with Heuristics. - 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 (GandALF, 2023)