Didattica

Insegnamenti

2024 - 2025

• INFORMATICA PER L'INGEGNERIA INDUSTRIALE (cod. 56760)
  CORSO DI LAUREA - INGEGNERIA MECCANICA

Ricerca

Pubblicazioni IRIS

• NeVer2: learning and verification of neural networks
  Anno: 2024
• Experimenting with Constraint Programming Techniques in Artificial Intelligence: Automated System Design and Verification of Neural Networks
  Anno: 2023
• Formal Verification of Neural Networks: a Case Study about Adaptive Cruise Control
  Anno: 2022
• A comparison of declarative AI techniques for computer automated design of elevator systems
  Anno: 2022
• Automated Design of Elevator Systems: Experimenting with Constraint-Based Approaches
  Anno: 2021