Uniquement les thèses soutenues
Uniquement les thèses soutenues accessibles en ligne
François Schwarzentruber
François Schwarzentruber a rédigé la thèse suivante :
Seeing, Knowing, doing : case studies in modal logic
par François Schwarzentruber sous la direction de Olivier Gasquet - Toulouse 3
Informatique
Soutenue en 2010
François Schwarzentruber dirige actuellement la thèse suivante :
La vérification semi-interactive de programmes
par Dylan Bellier sous la direction de Sophie Pinchinat et de François Schwarzentruber . - Université de Rennes (2023-....)
Informatique
En préparation depuis le 01-09-2020
François Schwarzentruber a dirigé la thèse suivante :
Connected multi-agent path finding : how robots get away with texting and driving
par Arthur Queffelec sous la direction de François Schwarzentruber - Rennes 1
Informatique
Soutenue le 11-10-2021
François Schwarzentruber a été membre de jury de la thèse suivante :
Raisonner sur la manipulation dans les systèmes multi-agents : une approche fondée sur les logiques modales
par Christopher Leturc sous la direction de Grégory Bonnet - Normandie
Informatique
Soutenue le 02-12-2019
