2 papers
cs.LG2025
Physics-Informed Reward Machines
Daniel Ajeleye, Ashutosh Trivedi, Majid Zamani
Reward machines (RMs) provide a structured way to specify non-Markovian rewards in reinforcement learning (RL), thereby improving both expressiveness and programmability. Viewed mo…
eess.SY2025
Data-driven Construction of Finite Abstractions for Interconnected Systems: A Compositional Approach
Daniel Ajeleye, Majid Zamani
Finite-state abstractions (a.k.a. symbolic models) present a promising avenue for the formal verification and synthesis of controllers in continuous-space control systems. These ab…