Algorithmes pour la synthèse rationnelle dans les systèmes multi-agents

par Madalina Jitaru

Projet de thèse en Informatique

Sous la direction de Catalin Dima et de Rodica Condurache.


  • Résumé

    The first goal of this thesis is to focus on the approach used in the following paper: Rodica Condurache, Youssouf Oualhadj, and Nicolas Troquard. The complexity of rational synthesis for concurrent games. In Sven Schewe and Lijun Zhang, editors, 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, volume 118 of LIPIcs, pages 38:1–38:15. Schloss Dagstuhl Leibniz-Zentrum für Informatik, 2018, and use the same techniques to close the complexity gap for LTL specifications. Further study the careless and careful semantics and establish a complexity bound for LTL specifications. Finally, tackle the more challenging case for the non cooperative case in both careless and careful semantics.

  • Titre traduit

    Algorithms for rational synthesis in multiagent systems


  • Résumé

    Le premier but de cette thèse est de se concentrer sur l'approche utilisée dans l'article suivant : Rodica Condurache, Youssouf Oualhadj, and Nicolas Troquard. The complexity of rational synthesis for concurrent games. In Sven Schewe and Lijun Zhang, editors, 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, volume 118 of LIPIcs, pages 38:1–38:15. Schloss Dagstuhl Leibniz-Zentrum für Informatik, 2018. Dans un deuxième temps on va étudier le cas des sémantiques "careful" et "careless" et établir une borne de complexité pour le cas des spécifications en logique temporelle linéaire. Finalement, nous allons nous intéresser au cas noncoopératif dans le cas des deux sémantiques (careful et careless).