Automates pondérés avec des bornes
AccueilJobs EPh Automates pondérés avec des bornes Publié le 11 février 2025 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 …
