Titre bientôt disponibleProbabilistic verification of strategic ability in multi-agent systems with continuous time

Teofil Sidoruk

2025-12-08 12:45:00, #SéminaireSafer
Salle A303, bâtiment B, Université de Villetaneuse