Séances de cours associées à Les machines à états finis : détecter et réagir avec Thymio

Séances de cours associées (42)

Conceptions de chisel vérifiées de façon formelle Connectez-vous à Mediaspace pour regarder cette vidéo

Examine la vérification formelle des conceptions de Chisel à l'aide de résolveurs SMT et couvre des exemples tels que les assertions différées et les preuves par induction.

Rétroaction et adaptation Connectez-vous à Mediaspace pour regarder cette vidéo

Explore la rétroaction et l'adaptation dans l'intelligence visuelle, améliorant la performance de la machine dans des environnements dynamiques.