no code implementations • 4 Jun 2021 • Parand Alizadeh Alamdari, Toryn Q. Klassen, Rodrigo Toro Icarte, Sheila A. McIlraith
We endow RL agents with the ability to contemplate such impact by augmenting their reward based on expectation of future return by others in the environment, providing different criteria for characterizing impact.
no code implementations • 25 May 2020 • Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
Machine learning and formal methods have complimentary benefits and drawbacks.