Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Pazhamalai Muruganandham

dblp:326/1166 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Mathematical optimization › sequential decision making
markov decision processes
0.612022
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.612022
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
YearPublicationVenuePosition
2022 PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP
abstract
Abstract 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