Adnane Saoud

Uma nova forma de avaliar a resiliência em sistemas que enfrentam perturbações.

Uma olhada no design baseado em contratos para sistemas híbridos e suas complexidades.

Aprenda como invariantes controlados mantêm a segurança em vários sistemas de tempo contínuo.

Uma nova abordagem pra melhorar o Q-learning em ambientes contínuos usando modelos simbólicos.

Um novo método melhora a manipulação de robôs em condições incertas.