OVERLOAD CONTENTS OVERLOAD 121 June 2014

First Page		Document Content
Date: 2014-06-02 17:25:44 Version control Distributed revision control systems Extreme programming Software development process Branching Continuous integration Revision control Freeze Clojure Computer programming Computing Software engineering		OVERLOAD CONTENTS OVERLOAD 121 June 2014 Add to Reading List Source URL: www.accu.org Download Document from Source Website File Size: 1,03 MB Share Document on Facebook

	Strategy Synthesis for Markov Decision Processes and Branching-Time Logics Tom´asˇ Br´azdil⋆ and Vojtˇech Forejt⋆⋆ Faculty of Informatics, Masaryk University, Botanick´a 68a, 60200 Brno, Czech Republic. DocID: 1xVy7 - View Document
	Dissertation Reactive Synthesis: branching logic & parameteri zed systems Ayrat Khalimov Advisor: Roderick Bloem DocID: 1xVvj - View Document
	Stochastic Games with Branching-Time Winning Objectives Tom´asˇ Br´azdil V´aclav Broˇzek Vojtˇech Forejt DocID: 1xUYf - View Document
	Branching-Time Model-Checking of Probabilistic Pushdown Automata Tom´asˇ Br´azdila,1 , V´aclav Broˇzeka , Vojtˇech Forejtb,a , Anton´ın Kuˇceraa,1 a b DocID: 1xUkx - View Document
	Controller Synthesis and Verification for Markov Decision Processes with Qualitative Branching Time Objectives? Tom´asˇ Br´azdil, Vojtˇech Forejt, and Anton´ın Kuˇcera Faculty of Informatics, Masaryk University, B DocID: 1xTky - View Document