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
Registered user since Mon 24 Sep 2018
Name:
Jan Kretinsky
Contributions
VMCAI 2020
PC Member in Program Committee within the VMCAI 2020-track
VMCAI 2019
Committee Member in Program Committee within the VMCAI 2019-track
LiVe 2019
PC Co-Chair in Program Committee within the LiVe-track
SPIoT 2019
Author of Invited Talk: Expected Cost Analysis of Attack-Defence Trees within the SPIoT-track
SynCoP 2019
Author of Learning-Based Mean-Payoff Optimization in an unknown MDP under Omega-Regular Constraints within the SynCoP-track
TACAS 2019
Committee Member in Program Committee within the TACAS 2019-track
Share
x
Sun 17 Jan 08:33