RNDr. Vojtěch Forejt, Ph.D., LL.B. (Hons)

Disertační práce

Controller Synthesis for Markov Decision Processes with Branching - Time Objectives

Controller Synthesis for Markov Decision Processes with Branching - Time Objectives
Anotace:
Tato práce obsahuje výsledky z oblasti syntézy plánovačů pro konečněstavové Markovovy rozhodovací procesy a logiky větvícího se času. Markovovův rozhodovací proces je pravděpodobnostní systém často využívaný při modelování skutečných systémů, ve kterých se vyskytuje jak nedeterministické, tak pravděpodobnostní chování. Logiky větvícího se času umožňují vyjádřit požadované vlastnosti těchto systémů …více
Abstract:
This thesis studies controller synthesis and verification problems for finite state Markov decision processes and branching-time logics. Markov decision processes are probabilistic systems that arise naturally in modelling of real-life systems with both nondeterministic and stochastic behaviour, while branching-time logics are formalisms allowing one to reason about properties of systems. The controller …více
 
 
Jazyk práce: angličtina
Datum vytvoření / odevzdání či podání práce: 3. 11. 2009

Obhajoba závěrečné práce

  • Obhajoba proběhla 17. 12. 2009
  • Vedoucí: prof. RNDr. Antonín Kučera, Ph.D.
  • Oponent: prof. RNDr. Petr Jančar, CSc., Patricia Bouyer-Decitre

Citační záznam

Plný text práce

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • světu
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: Masarykova univerzita, Fakulta informatiky