Login / Signup
Jener Rasmussen
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Np Hard
Orders Of Magnitude
Alternating Time Temporal Logic
Model Checker
Top Venues
GandALF
</>
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)