Vinayak S. Prabhu

Nuovi metodi migliorano la velocità di monitoraggio per formule STL complesse usando il congelamento dei valori.

Capire i problemi multi-obiettivo nel reinforcement learning con nuovi metodi di ottimizzazione.