activity
20232026
most citedSolving Long-run Average Reward Robust MDPs via Stochastic Games

1 citations · 2 across the 10 of their papers we have counts for

collaborators
Showing cs.PLShow all

1 paper · 1 filter

cs.PL2024

Sound and Complete Witnesses for Template-based Verification of LTL Properties on Polynomial Programs

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Ehsan Kafshdar Goharshady +2

We study the classical problem of verifying programs with respect to formal specifications given in the linear temporal logic (LTL). We first present novel sound and complete witne…