Go directly to content Go directly to font size and contrast

Project Details

Institution

Print View

Université Libre de Bruxelles
Département d'Informatique

Address Boulevard du Triomphe
1050 Bruxelles
Belgien

1050 Bruxelles

Projects

Research Grants
- Current projects
  - Mixing Formal Methods and Learning Techniques for Strategy Synthesis in Partially Observable Markov Decision Processes
    (Applicant Katoen, Joost-Pieter )
- Completed projects
  - Definability of Tree Transformations
    (Applicant Maneth, Sebastian )
  - Games for Analysis and Synthesis of Interactive Computational Systems (GASICS)
    (Applicant Thomas, Wolfgang )

© 2026 DFG Disclaimer / Copyright / Privacy Policy