Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Jan Kretinsky
conf.researchr.org general profile
ETAPS 2019 profile
POPL 2019 profile
POPL 2020 profile
POPL 2022 profile
POPL 2025 profile
Registered user since Mon 24 Sep 2018
Name:
Jan Kretinsky
Contributions
2025
VMCAI
PC Member in Program Committee within the VMCAI 2025-track
Author of 1–2–3–Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization within the VMCAI 2025-track
2022
VMCAI
PC Member in Program Committee within the VMCAI 2022-track
2020
VMCAI
PC Member in Program Committee within the VMCAI 2020-track
2019
LiVe
PC Co-Chair in Program Committee within the LiVe-track
SPIoT
Author of Invited Talk: Expected Cost Analysis of Attack-Defence Trees within the SPIoT-track
SynCoP
Author of Learning-Based Mean-Payoff Optimization in an unknown MDP under Omega-Regular Constraints within the SynCoP-track
TACAS
Committee Member in Program Committee within the TACAS 2019-track
VMCAI
Committee Member in Program Committee within the VMCAI 2019-track
Share
x
Wed 11 Jun 02:25
