Publications
Automatic Generation and Learning of Finite-State Controllers,
, Artificial Intelligence: Methodology, Systems, and Applications, Volume 7557, p.135-144, (2012)
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications,
, Volume {29}, Number {False}, p.128-136, (2019)
Imitation Learning over Heterogeneous Agents with Restraining Bolts,
, Volume {30}, Number {False}, p.517-521, (2020)
Restraining Bolts for Reinforcement Learning Agents,
, Volume {34th AAAI Conference on Artificial Intelligence}, Number {9}, p.13659-13662, (2020)
Temporal Logic Monitoring Rewards via Transducers,
, Volume {False}, Number {False}, p.860-870, (2020)
A formalization of multi-agent planning with explicit agent representation,
, Volume {False}, Number {False}, p.816-823, (2023)