Participations à des congrès et colloques internationaux (1)
  1. 1. Doyen, L., Di Giampaolo, B., Geeraerts, G., Raskin, J.-F., Reichert, J., & Sznajder, N. (2010). Realizability of real-time logics : decidability and implementation. Paper session presented at GAMES 2010 workshop (2010: Oxford).
    2.   Direction de thèses (11)
  2. 1. Chakraborty, D. (2022). Monte Carlo Tree Search with Advice (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
  3. 2. Berthon, R. (2022). Interplays of Sure, Almost-Sure, and Threshold Parity Objectives on Markov Decision Processes (Thèse doctorale non-publiée). Universiteit Antwerpen, Faculty of Science, Department of Mathematics - Computer Science - Doctor in de wetenschappen: informatica, Faculté des Sciences – Informatique, Bruxelles.
  4. 3. Goeminne, A. (2021). Equilibria in Multiplayer Games Played on Graphs (Thèse doctorale non-publiée). Université de Mons, Faculté des Sciences, Département de Mathématique - Docteur en Sciences, Faculté des Sciences – Informatique, Mons.
  5. 4. Perez, G. A. (2016). Regret and Partial Observation in Quantitative Games (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
  6. 5. Servais, F. (2011). Visibly pushdown transducers (Thèse doctorale non-publiée). Université libre de Bruxelles, Ecole polytechnique de Bruxelles – Informatique, Bruxelles.
  7. 6. Maquet, N. (2011). New algorithms and data structures for the emptiness problem of alternating automata (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
  8. 7. Ganty, P. (2007). The Fixpoint checking problem: an abstraction refinement perspective (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
  9. 8. Geeraerts, G. (2007). Coverability and expressiveness properties of well-structured transition systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
  10. 9. De Wulf, M. (2006). From timed models to timed implementations (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
  11. 10. Doyen, L. (2006). Algorithmic analysis of complex semantics for timed and hybrid automata (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des Sciences – Informatique, Bruxelles.
  12. 11. Van Begin, L. (2004). Efficient verification of counting abstractions for parametric systems (Thèse doctorale non-publiée). Université libre de Bruxelles, Faculté des sciences, Bruxelles.
    13. << Précédent 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 Suivant >>