EUK@Ox Outline ProgrammeMICHELMAS TERM Lead Members 

First Page		Document Content
Date: 2015-10-22 05:04:33 F. W. Woolworth Company Entertainment UK Europaeum Ox Paul Flather Kalypso Nicoladis Hangul		EUK@Ox Outline ProgrammeMICHELMAS TERM Lead Members  Add to Reading List Source URL: www.politics.ox.ac.uk Download Document from Source Website File Size: 581,79 KB Share Document on Facebook

	LIPIcs Leibniz International Proceedings in Informatics Verification and Refutation of∗ Probabilistic Specifications via Games DocID: 1xW2u - View Document
	Reachability in Recursive Markov Decision Processes? Tom´ aˇs Br´ azdil, V´ aclav Broˇzek, Vojtˇech Forejt, and Anton´ın Kuˇcera DocID: 1xW2m - View Document
	GRIP: Generic Representatives in PRISM Alastair F. Donaldson Codeplay Software Ltd. Edinburgh DocID: 1xW1G - View Document
	Reachability Analysis of Deep Neural Networks with Provable Guarantees Wenjie Ruan1 , Xiaowei Huang2 , Marta Kwiatkowska1 Department of Computer Science, University of Oxford, UK 2 Department of Computer Science, Univers DocID: 1xW0E - View Document
	Multi-objective discounted reward verification in graphs and MDPs Krishnendu Chatterjee1 , Vojtˇech Forejt2 , and Dominik Wojtczak3 1 2 DocID: 1xW0D - View Document