Login / Signup
M. Pazhamalai
Publication Activity (10 Years)
Years Active: 2022-2022
Publications (10 Years): 1
Top Topics
Transition Systems
Automated Verification
Deterministic Finite Automaton
Model Checking
Top Venues
CoRR
</>
Publications
</>
Chaitanya Agarwal
,
Shibashis Guha
,
Jan Kretínský
,
M. Pazhamalai
PAC Statistical Model Checking of Mean Payoff in Discrete- and Continuous-Time MDP.
CoRR
(2022)