The complexity of admissibility in Omega-regular games

par Brenguier, Romain

;Raskin, Jean-François

;Sassolas, Mathieu

Référence Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science, page (23)
Publication Publié, 2014

Publication dans des actes

Documents en relation

DI-fusion

From linear temporal logic and limit-deterministic Büchi automata to deterministic parity automata
par Esparza, Javier , Křetínský, Jan , Raskin, Jean-François , Sickert, Salomon
Publication 2022-08
Connaissances du contenu et connaissances technologiques des enseignants en Informatique en milieu francophone
par Komis, Vassilis K.V. , Bachy, Sylviane , Goletti, Olivier O.G. , Parriaux, Gabriel , Rafalska, Maryna , Lavidas, KONSTANTINOS L.K
Publication 2022-12-20
Synthesis of Inhibitor-Reset Petri Nets: Algorithmic and Complexity Issues
par Devillers, Raymond , Tredup, Ronny
Publication 2022-12-01
Complexity of Distributed Petri Net Synthesis
par Devillers, Raymond , Tredup, Ronny
Publication 2022-12-01
Interplays of Sure, Almost-Sure, and Threshold Parity Objectives on Markov Decision Processes
par Berthon, Raphaël
Publication Faculté des Sciences – Informatique, Bruxelles, Universiteit Antwerpen, Faculty of Science, Department of Mathematics - Computer Science - Doctor in de wetenschappen: informatica, 2022-10-28

Référencement	Visibilité	Pérennité	Facilité
Les publications encodées constituent la bibliographie académique de l'Université.	Les documents déposés sont indexés par les moteurs de recherche (Google Scholar,…).	Les documents déposés en open-access sont archivés au sein du réseau de préservation SAFE-PLN (www.safepln.org).	Les listes de publications sont compatibles avec le CV-ULB, le FNRS et accessibles sur le web.