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

2019

LiVe

PC Co-Chair in Program Committee within the LiVe-track

SPIoT

Invited Talk: Expected Cost Analysis of Attack-Defence Trees

SynCoP

Learning-Based Mean-Payoff Optimization in an unknown MDP under Omega-Regular Constraints

TACAS

Committee Member in Program Committee within the TACAS 2019-track

Show activities from other conferences

ETAPS 2019-profile
View general profile