Publications
Temporal Logic Monitoring Rewards via Transducers,
, Volume {False}, Number {False}, p.860-870, (2020)
Restraining Bolts for Reinforcement Learning Agents,
, Volume {34th AAAI Conference on Artificial Intelligence}, Number {9}, p.13659-13662, (2020)
Imitation Learning over Heterogeneous Agents with Restraining Bolts,
, Volume {30}, Number {False}, p.517-521, (2020)
Foundations for Restraining Bolts: Reinforcement Learning with LTLf/LDLf Restraining Specifications,
, Volume {29}, Number {False}, p.128-136, (2019)