• Citer

New algorithms and data structures for the emptiness problem of alternating automata

par Maquet, Nicolas
Président du jury Cardinal, Jean
Promoteur Raskin, Jean-François
Publication Non publié, 2011-03-03

Thèse de doctorat

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

Titre:	New algorithms and data structures for the emptiness problem of alternating automata
Autre titre:	Nouveaux algorithmes et structures de données pour le problème du vide des automates alternants:
Auteur:	Maquet, Nicolas
Président du jury:	Cardinal, Jean
Promoteur:	Raskin, Jean-François
Membre du jury:	Abdulla, Parosh Aziz; Boigelot, Bernard; Geeraerts, Gilles; Bruyère, Véronique
Informations sur la publication:	Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles
Date de défense:	2011-03-03
Sujet CREF:	Informatique générale
	Sciences exactes et naturelles
Volumes/pages:	1 v. (xvi, 218 p.)
Mots-clés:	Machine theory
	Computer algorithms
	Computer logic
	Automates mathématiques, Théorie des
	Algorithmes
	Logique informatique
	model checking
	problème du vide
	antichains
	emptiness checking
	automates
	antichaînes
	logiques temporelles
	automata
	temporal logic
Intitulé du diplôme:	Doctorat en Sciences
Langue:	Français
Anneé académique:	2010-2011
Identificateurs:	bictel.ulb.ac.be:ULBetd-02162011-105751
	ulbcat.ulb.ac.be:911412