AAU Student Projects - visit Aalborg University's student projects portal
A master's thesis from Aalborg University
Book cover


Symbolic Synthesis of Non-Negative Multi-Weighted Games with Temporal Objectives

Authors

; ;

Term

4. term

Education

Computer Science, Master

Publication year

2017

Submitted on

Documents

Download
View record in AAU Student Projects