ETAPS 2019
Sat 6 - Thu 11 April 2019 Prague, Czech Republic
ETAPS 2019 (series) / Jan Kretinsky
Jan Kretinsky

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

ETAPS 2019-profile
View general profile