4 papers
Efficient Counterfactual Reasoning in ProbLog via Single World Intervention Programs
Saimun Habib, Vaishak Belle, Fengxiang He
Probabilistic Logic Programming (PLP) languages, like ProbLog, naturally support reasoning under uncertainty, while maintaining a declarative and interpretable framework. Meanwhile…
Near-Constant Strong Violation and Last-Iterate Convergence for Online CMDPs via Decaying Safety Margins
Qian Zuo, Zhiyong Wang, Fengxiang He
We study safe online reinforcement learning in Constrained Markov Decision Processes (CMDPs) under strong regret and violation metrics, which forbid error cancellation over time. E…
Integrating LTL Constraints into PPO for Safe Reinforcement Learning
Maifang Zhang, Hang Yu, Qian Zuo +3
This paper proposes Proximal Policy Optimization with Linear Temporal Logic Constraints (PPO-LTL), a framework that integrates safety constraints written in LTL into PPO for safe r…
Ensuring Safety in an Uncertain Environment: Constrained MDPs via Stochastic Thresholds
Qian Zuo, Fengxiang He
This paper studies constrained Markov decision processes (CMDPs) with constraints against stochastic thresholds, aiming at safety of reinforcement learning in unknown and uncertain…