Energy and mean-payoff timed games

Recherche avancée | Historique de recherche Mon DI-fusion | À propos de DI-fusion | Contact |

Référence Proceedings of the 17th international conference on Hybrid systems: computation and control, page (283-292)
Publication Publié, 2014

Publication dans des actes

Fichier(s) déposé(s) par l'encodeur

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.