Nicolas Mazzocchi

Untersucht Sicherheits- und Lebendigkeitskonzepte in quantitativen Automaten zur Systemverifizierung.

Ein Blick auf strategische Dominanz und ihren Einfluss auf computergestützte Modelle.

Entdecke die Rolle von QuAK bei der Bewertung der Systemleistung und Sicherheit.

Entdeck die faszinierende Welt der Spiele, die von Zeit und Strategie geprägt sind.