7 citations · 14 across the 3 of their papers we have counts for
3 papers
Specification-Guided Critical Scenario Identification for Automated Driving
Adam Molin, Edgar A. Aguilar, Dejan Ničković +3
To test automated driving systems, we present a case study for finding critical scenarios in driving environments guided by formal specifications. To that aim, we devise a framewor…
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives
Anand Balakrishnan, Stefan Jakšić, Edgar A. Aguilar +2
Reinforcement learning (RL) is a popular approach for robotic path planning in uncertain environments. However, the control policies trained for an RL agent crucially depend on use…
Hierarchical Potential-based Reward Shaping from Task Specifications
Luigi Berducci, Edgar A. Aguilar, Dejan Ničković +1
The automatic synthesis of policies for robotic-control tasks through reinforcement learning relies on a reward signal that simultaneously captures many possibly conflicting requir…