Laure Petrucci

Explorer des outils et des méthodes pour analyser des systèmes influencés par le temps et les paramètres.

Un aperçu des jeux temporels paramétriques et de leurs applications dans les systèmes temps réel.