1 citations · 1 across the 8 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.RO2024
Grand Challenges in the Verification of Autonomous Systems
Kevin Leahy, Hamid Asgari, Louise A. Dennis +6
Autonomous systems use independent decision-making with only limited human intervention to accomplish goals in complex and unpredictable environments. As the autonomy technologies…
cs.LG2024
Maximally Permissive Reward Machines
Giovanni Varricchione, Natasha Alechina, Mehdi Dastani +1
Reward machines allow the definition of rewards for temporally extended tasks and behaviors. Specifying "informative" reward machines can be challenging. One way to address this is…