28 citations · 73 across the 18 of their papers we have counts for
3 papers · 1 filter
Supermartingale Certificates for Parametric MDPs
Kaushik Mallik, Ðorđe Žikelić
We consider the problems of formal verification and synthesis in parametric Markov decision processes (MDPs) with general measurable state and action spaces. The heart of our appro…
Adaptive Strategies for GR(1) Games
S. Krishna, Shankaranarayanan Krishna, Kaushik Mallik +1
We consider two-player GR(1) games on graphs, where the system player Eve must satisfy \[ \Box\Diamond A_1\land\cdots\land\Box\Diamond A_m \;\implies\; \Box\Diamond G_1\land\cdots\…
Supermartingale Certificates for Quantitative Omega-regular Verification and Control
Thomas A. Henzinger, Kaushik Mallik, Pouya Sadeghi +1
We present the first supermartingale certificate for quantitative -regular properties of discrete-time infinite-state stochastic systems. Our certificate is defined on the produ…