• Sign in
  • Sign up
conf.researchr.org / Jan Kretinsky
  • ETAPS 2019 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • POPL 2022 profile

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

Share
xTue 7 Feb 23:21
using conf.researchr.org (v1.58.0)
Support page
Sign Up