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 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
Show activities from other conferences

ETAPS 2019-profile
View general profile