Automates pondérés avec des bornes

Missions

La théorie des automates est une pierre angulaire de nombreuses approches pour la vérification formelle et de l’informatique fondamentale en général. Il existe un grand nombre de sous-catégories d’automates, mais dans le cadre de ce stage, nous nous intéressons particulièrement aux ω-automates pondérés avec des bornes. Il s’agit d’automates qui traitent des mots infinis avec des transitions pondérées. De plus, seule une certaine quantité du poids, souvent interprétée comme de l’énergie, peut être stockée pendant l’exécution. Cela augmente l’expressivité du modèle, mais au prix d’une étape de vérification plus complexe. L’objectif de ce stage est d’améliorer notre prototype d’implémentation et de continuer à développer la théorie et à étendre le formalisme.

Détails

Veuillez consulter ce pdf.

Qualifications

• Bases des théories des automates et des langages réguliers
• C++ et / ou Python