Edgar A. Aguilar

Publication Activity (10 Years)

Years Active: 2021-2023
Publications (10 Years): 6

Top Topics

Finite State Machines

Manual Inspection

Reinforcement Learning

Multiarmed Bandit

Top Venues

Publications

Adam Molin, Edgar A. Aguilar, Dejan Nickovic, Mengjia Zhu, Alberto Bemporad, Hasan Esen
Specification-Guided Critical Scenario Identification for Automated Driving. FM (2023)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy V. Deshmukh
Model-Free Reinforcement Learning for Spatiotemporal Tasks Using Symbolic Automata. CDC (2023)
Edgar A. Aguilar, Ezio Bartocci, Cristinel Mateis, Eleonora Nesterini, Dejan Nickovic
Mining Specification Parameters for Multi-class Classification. RV (2023)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. CoRR (2022)
Anand Balakrishnan, Stefan Jaksic, Edgar A. Aguilar, Dejan Nickovic, Jyotirmoy Deshmukh
Poster Abstract: Model-Free Reinforcement Learning for Symbolic Automata-encoded Objectives. HSCC (2022)
Edgar A. Aguilar, Luigi Berducci, Axel Brunnbauer, Radu Grosu, Dejan Nickovic
From STL Rulebooks to Rewards. CoRR (2021)