Nir Piterman

Ce travail présente des techniques innovantes pour gérer efficacement des programmes réactifs complexes.

Une méthode pour traduire la logique temporelle linéaire avec des opérateurs passés en automates de Rabin déterministes.

Un aperçu des jeux obligeants et comment ils fonctionnent.

Explore comment les canaux de communication reconfigurables améliorent les interactions entre dispositifs.