1 citations · 1 across the 5 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.AI2026
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…
cs.LG2026
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…
cs.LG2026
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…