Login / Signup
Pazhamalai Muruganandham
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Partially Observable Markov Decision Processes
Model Checking
Automated Verification
Timed Automata
Top Venues
CAV (2)
</>
Publications
</>
Chaitanya Agarwal
,
Shibashis Guha
,
Jan Kretínský
,
Pazhamalai Muruganandham
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP.
CAV (2)
(2022)