2 Ergebnisse.

We analyze simulation relations as heuristics for the simplification of omega-automata, i.e., of finite automata working on infinite strings. Our focus is on alternating omega-automata, especially automata resulting from LTL formulas, as is important in model checking. We introduce direct, delayed, and fair simulation for alternating Büchi automata (ABA), and simulation quotient constructions for ABA. Our simulations are compatible with the st...

Master's Thesis from the year 2016 in the subject Economics - Finance, grade: 1, 3, University of Regensburg (Centre of Finance), language: English, abstract: Financial markets are as complex as ever due to an accelerating development in the last decades. Especially evaluations of mutual fund performance have been a subject of interest since the introduction of financial services. In this thesis, a study on the performance of mutual funds inve...