Robust Weighted Timed Automata and Games Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS - Cachan - Document - PDFSEARCH.IO

First Page	Meta Content
	Robust Weighted Timed Automata and Games Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Weighted timed automata extend timed automata with cost variables that can be used to model t Add to Reading List Document Date: 2013-06-19 03:54:32 Open Document File Size: 528,20 KB Share Result on Facebook

Robust Weighted Timed Automata and Games Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Weighted timed automata extend timed automata with cost variables that can be used to model tAdd to Reading List