• Citer

Qualitative analysis of probabilistic synchronizing systems

par Shirmohammadi, Mahsa
Président du jury Raskin, Jean-François
Promoteur Doyen, Laurent ;Massart, Thierry
Publication Non publié, 2014-12-10

Thèse de doctorat

• Accès en ligne
• Détails
• Contenu
• Statistiques

Titre:	Qualitative analysis of probabilistic synchronizing systems
Autre titre:	Analyse qualitative des systèmes probabilistes synchronisants:
Auteur:	Shirmohammadi, Mahsa
Président du jury:	Raskin, Jean-François
Promoteur:	Doyen, Laurent; Massart, Thierry
Membre du jury:	Bérard, Béatrice; Filiot, Emmanuel; Katoen, Joost-Pieter; Kiefer, Stefan; Sproston, Jeremy
Informations sur la publication:	Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:	2014-12-10
Sujet CREF:	Informatique générale
	Sciences exactes et naturelles
Volumes/pages:	1 v. (x, 192 p.)
Mots-clés:	Stochastic processes
	Probabilistic automata
	Processus stochastiques
	Automates probabilistes
	synchronising words
	probabilistic automata
	markov Decision Process
Intitulé du diplôme:	Doctorat en Sciences
Langue:	Anglais
Anneé académique:	2014-2015
Identificateurs:	bictel.ulb.ac.be:ULBetd-12092014-005606
	ulbcat.ulb.ac.be:1086002