David Lidell

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