23 citations · 50 across the 36 of their papers we have counts for
Showing cs.LGShow all
2 papers · 1 filter
cs.LG2022★ 2 cited
Joint Learning of Reward Machines and Policies in Environments with Partially Known Semantics
Christos Verginis, Cevahir Koprulu, Sandeep Chinchali +1
We study the problem of reinforcement learning for a task encoded by a reward machine. The task is defined over a set of properties in the environment, called atomic propositions,…
cs.LG2021
Verifiable and Compositional Reinforcement Learning Systems
Cyrus Neary, Christos Verginis, Murat Cubuktepe +1
We propose a framework for verifiable and compositional reinforcement learning (RL) in which a collection of RL subsystems, each of which learns to accomplish a separate subtask, a…