2 citations · 2 across the 7 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
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
Monotone Neural Barrier Certificates
Saber Jafarpour, Alireza Nadali, Ashutosh Trivedi +1
This report presents a neurosymbolic framework for safety verification and control synthesis in high-dimensional monotone dynamical systems without relying on explicit models or co…