Demo Data from EDBT 2026 / reviewers in the wild / expert
Pazhamalai Muruganandham
dblp:326/1166
· DBLP profile ↗
1ranked-venue papers
0as first author
1since 2021 · last 2022
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 1 · 1 since 2021Theory of computation · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 50% Mathematical optimization · 50% |
Topics — the 2 heaviest of 2, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Mathematical optimization › sequential decision making
markov decision processes |
0.6 | 1 | 2022 | PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP · CAV (2) 2022 |
Automated reasoning and model checking › model checking › probabilistic model checking
statistical model checking |
0.6 | 1 | 2022 | PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP · CAV (2) 2022 |
Methods — techniques the papers use, named apart from their topics
statistical model checking · 0.6probably approximately correct (PAC) bounds · 0.6
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2022 | PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDPabstractAbstract Markov decision processes (MDP) and continuous-time MDP (CTMDP) are the fundamental models for non-deterministic systems with probabilistic uncertainty. Mean payoff (a.k.a. long-run average reward) is one of the most classic objectives considered in their context. We provide the first algorithm to compute mean payoff probably approximately correctly in unknown MDP; further, we extend it to unknown CTMDP. We do not require any knowledge of the state space, only a lower bound on the minimum transition probability, which has been advocated in literature. In addition to providing probably approximately correct (PAC) bounds for our algorithm, we also demonstrate its practical nature by running experiments on standard benchmarks. Chaitanya Agarwal, Shibashis Guha, Jan Kretínský, Pazhamalai Muruganandham |
CAV (2) | 4 |