Jan Kretinsky - ETAPS 2019

Sat 6 - Thu 11 April 2019 Prague, Czech Republic

Registered user since Mon 24 Sep 2018

Name: Jan Kretinsky

Country: Germany

Affiliation: Technical University of Munich

Personal website: https://www7.in.tum.de/~kretinsk/

Contributions

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