Robust Reachability in Timed Automata: A Game-based Approach ? Patricia Bouyer, Nicolas Markey, and Ocan Sankur LSV, CNRS - Reachability - Document - PDFSEARCH.IO

First Page	Meta Content
	Robust Reachability in Timed Automata: A Game-based Approach ? Patricia Bouyer, Nicolas Markey, and Ocan Sankur LSV, CNRS & ENS Cachan, France. {bouyer,markey,sankur}@lsv.ens-cachan.fr Add to Reading List Document Date: 2012-05-18 09:46:04 Open Document File Size: 410,26 KB Share Result on Facebook

Robust Reachability in Timed Automata: A Game-based Approach ? Patricia Bouyer, Nicolas Markey, and Ocan Sankur LSV, CNRS & ENS Cachan, France. {bouyer,markey,sankur}@lsv.ens-cachan.frAdd to Reading List