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


Efficiently Finding Ratio-Optimal Infinite Cycles in Doubly-Priced Timed Automata

Authors

; ;

Term

4. term

Education

Computer Science, Master

Publication year

2023

Submitted on

Pages

71

Keywords

timed automata ; ratio optimal ; cycles ; negative weight cycles

Documents

Download
View record in AAU Student Projects