Danièle Beauquier

Thèmes de recherche

• Mots (bi)-infinis et automates finis

• Pavages dans le plan

• Logique temporelle

• Spécification et vérification de programmes temps réel

• Automates temporisés (probabilistes)

• Logiques probabilistes

Publications

Enseignement

Adresse