Edgar A. Aguilar

According to our database, Edgar A. Aguilar authored at least 6 papers between 2021 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Mining Specification Parameters for Multi-class Classification.

Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic

Proceedings of the Runtime Verification - 23rd International Conference, 2023

Specification-Guided Critical Scenario Identification for Automated Driving.

Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, Hasan Esen

Proceedings of the Formal Methods - 25th International Symposium, 2023

Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh

Proceedings of the 62nd IEEE Conference on Decision and Control, 2023

2022

Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh

CoRR, 2022

Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives.

Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh

Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022

2021

From STL Rulebooks to Rewards.

Edgar A. Aguilar, Luigi Berducci, Axel Brunnbauer, Radu Grosu, Dejan Nickovic

CoRR, 2021