AccueilJobs Eph Automates pondérés avec des bornes Publié le 17 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 …

Continuer la lecture de « Automates pondérés avec des bornes »