Johannes Hölzl - POPL 2016

Write a Blog >>

Wed 20 - Sat 23 January 2016 St. Petersburg, Florida, United States

Registered user since Fri 19 Dec 2014

Name:Johannes Hölzl

Country:Germany

Affiliation:Technische Universität München

Personal website: http://in.tum.de/~hoelzl

Research interests:Formal Methods, Interactive Theorem Proving

Contributions

2016

LAFI

Fixed Points for Markov Decision Processes

Show activities from other conferences

POPL 2016-profile
View general profile

	
		OSZAR »