Blog

  • Automates pondérés avec des bornes

    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

    Contact

    Sven Dziadek (sven.dziadek@telecom-sudparis.eu)
    Philipp Schlehuber-Caissier (philipp.schlehuber-caissier@telecom-sudparis.eu)

This site is registered on wpml.org as a development site. Switch to a production site key to remove this banner.