Nicolaj Ø. Jensen

According to our database, Nicolaj Ø. Jensen authored at least 3 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

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

Proceedings of the Fourteenth International Symposium on Games, 2023

Dynamic Extrapolation in Extended Timed Automata.

Nicolaj Ø. Jensen, Peter Gjøl Jensen, Kim G. Larsen

Proceedings of the Formal Methods and Software Engineering, 2023

2020

Generation of Realistic Activity Scenarios for SUMO.

Falke B. Ø. Carlsen, Jacob J. Rasmussen, Mathias M. Sørensen, Nicolaj Ø. Jensen, Michele Albano

Proceedings of the MobiQuitous '20: Computing, 2020