2 citations · 2 across the 2 of their papers we have counts for
2 papers
cs.AI2021
Be Considerate: Objectives, Side Effects, and Deciding How to Act
Parand Alizadeh Alamdari, Toryn Q. Klassen, Rodrigo Toro Icarte +1
Recent work in AI safety has highlighted that in sequential decision making, objectives are often underspecified or incomplete. This gives discretion to the acting agent to realize…
cs.LO2020★ 2 cited
Formal Methods with a Touch of Magic
Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger +1
Machine learning and formal methods have complimentary benefits and drawbacks. In this work, we address the controller-design problem with a combination of techniques from both fie…