Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by

First Page		Document Content
Date: 2018-05-21 09:45:07 Complexity classes Mathematics Theoretical computer science Discrete mathematics EXPTIME P Reachability problem Matrix Controllability Decidability Reachability Word problem		Reachability games and related matrix and word problems Thesis submitted in accordance with the requirements of the University of Liverpool for the degree of Doctor in Philosophy by Add to Reading List Source URL: cgi.csc.liv.ac.uk Download Document from Source Website File Size: 4,10 MB Share Document on Facebook

	Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3 DocID: 1v4hH - View Document
	M EMORAX, a precise and sound tool for automatic fence insertion under TSO ? Parosh Aziz Abdulla1 , Mohamed Faouzi Atig1 , Yu-Fang Chen2 , Carl Leonardsson1 , and Ahmed Rezine3 1 DocID: 1mlOo - View Document
	The Reachability Problem for Vector Addition Systems J´erˆ ome Leroux LaBRI (CNRS and University of Bordeaux), France. J´ DocID: 1lPyq - View Document
	On the Decidability of the Reachability Problem for Planar Differential Inclusions ? E. Asarin ?? DocID: 1lGXi - View Document
	Reachability Analysis via Face Lifting? Thao Dang and Oded Maler Verimag, Centre Equation, 2, av. de Vignate, 38610 Gi eres, France, fThao.Dang, Abstract. In this paper we discuss the problem of calc DocID: 1l3Dg - View Document