Login / Signup
Jan Kretínský
ORCID
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 124
Top Topics
Average Reward
Decision Process
Temporal Logic
Model Checking
Top Venues
CoRR
ATVA
CAV (1)
CONCUR
</>
Publications
</>