Jan Kretinsky -

Registered user since Mon 24 Sep 2018

Name:Jan Kretinsky

Contributions

VMCAI 2022	PC Member in Program Committee within the VMCAI 2022-track
VMCAI 2020	PC Member in Program Committee within the VMCAI 2020-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
VMCAI 2019	Committee Member in Program Committee within the VMCAI 2019-track