Luca Bortolussi

Une nouvelle méthode pour intégrer la logique temporelle dans les systèmes d'IA.

Une méthode pour dériver les exigences de sécurité à partir des données de comportement du système.

Assurer que les explications de l'IA sont claires et fiables pour la confiance des utilisateurs.

Apprends comment les transformers traitent les données et s'adaptent à de nouvelles tâches.

Combiner des techniques avancées rend la conception de circuits analogiques plus efficace.