Vinayak S. Prabhu

De nouvelles méthodes améliorent la vitesse de surveillance des formules STL complexes en utilisant le gel de valeurs.

Comprendre les problèmes multi-objectifs en apprentissage par renforcement avec de nouvelles méthodes d'optimisation.