Asger G. Weirsøe

According to our database, Asger G. Weirsøe authored at least 1 paper in 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