1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.GT2025
Quantitative Strategy Templates
Ashwani Anand, Satya Prakash Nayak, Ritam Raha +2
This paper presents (permissive) \emph{Quantitative Strategy Templates} (QaSTels) to succinctly represent infinitely many winning strategies in two-player energy and mean-payoff ga…
cs.AI2023★ 1 cited
Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic
Ritam Raha, Rajarshi Roy, Nathanael Fijalkow +2
In runtime verification, manually formalizing a specification for monitoring system executions is a tedious and error-prone process. To address this issue, we consider the problem…