AAU Student Projects - visit Aalborg University's student projects portal

A master's thesis from Aalborg University

Book cover

Most Permissive Strategies for Games with Negation-free CTL

Authors

Ragnuson, Beinir ; Wennerstrøm, Bogi Napoleon ; Vang, Sigmundur

Term

4. term

Education

Computer Science, Master

Publication year

2021

Submitted on

2021-06-04

Documents

Download
View record in AAU Student Projects