pdSTL: Probabilistic Differentiable Signal Temporal Logic for Stochastic Systems

Bennett Dogbey, Hemanth Manjunatha

Autonomous robots operating in uncertain environments must satisfy complex temporal and safety specifications despite stochastic dynamics and sensing noise. While Signal Temporal L…