Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3

First Page		Document Content
Date: 2016-01-18 08:43:29		Deciding the Value 1 Problem for Reachability in 1-Clock Decision Stochastic Timed Automata Nathalie Bertrand1 , Thomas Brihaye2 , and Blaise Genest3 1 3 Add to Reading List Source URL: people.rennes.inria.fr Download Document from Source Website File Size: 358,79 KB Share Document on Facebook