2 papers
cs.AI2026
PAC Approximation and DIRECT Optimization for Parametric Markov Models
Zhiming Chi, Ying Liu, Andrea Turrini +2
In this paper, we consider the parameter synthesis and optimization problem for parametric Markov decision processes (pMDPs), the extension of classical MDPs where exact probabilit…
cs.AI2026
TrajRS: Towards Certified Robustness in Pedestrian Trajectory Prediction
Liang Zhang, Gaojie Jin, Yao Shi +4
The robustness of trajectory prediction models is crucial for developing safe autonomous driving systems. Adversarial attacks on trajectory prediction can significantly impair the…