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

Nielsen, Søren Moss ; Jensen, Lasse Steen ; Kaufmann, Isabella

Term

4. term

Education

Computer Science, Master

Publication year

2017

Documents

Download
View record in AAU Student Projects

Other projects by the authors

Nielsen, Søren Moss:

Controller Synthesis by Solving Multi Weighted Games (2016)

Jensen, Lasse Steen:

Controller Synthesis by Solving Multi Weighted Games (2016)

Kaufmann, Isabella:

Controller Synthesis by Solving Multi Weighted Games (2016)