conf.researchr.org / Jan Kretinsky

Registered user since Mon 24 Sep 2018

Name: Jan Kretinsky

Contributions

VMCAI 2020PC Member in Program Committee within the VMCAI 2020-track
VMCAI 2019Committee Member in Program Committee within the VMCAI 2019-track
LiVe 2019PC Co-Chair in Program Committee within the LiVe-track
SPIoT 2019Author of Invited Talk: Expected Cost Analysis of Attack-Defence Trees within the SPIoT-track
SynCoP 2019Author of Learning-Based Mean-Payoff Optimization in an unknown MDP under Omega-Regular Constraints within the SynCoP-track
TACAS 2019Committee Member in Program Committee within the TACAS 2019-track