Showing 2025Show all
2 papers · 1 filter
cs.AI2025
Deontically Constrained Policy Improvement in Reinforcement Learning Agents
Alena Makarova, Houssam Abbas
Markov Decision Processes (MDPs) are the most common model for decision making under uncertainty in the Machine Learning community. An MDP captures non-determinism, probabilistic u…
cs.LO2025
Monitoring in the Dark: Privacy-Preserving Runtime Verification of Cyber-Physical Systems
Charles Koll, Preston Tan Hang, Mike Rosulek +1
In distributed Cyber-Physical Systems and Internet-of-Things applications, the nodes of the system send measurements to a monitor that checks whether these measurements satisfy giv…