Robust Weighted Timed Automata and Games Ocan Sankur Universit´e Libre de Bruxelles Joint with Patricia Bouyer, Nicolas Markey ENS Cachan - Universit libre de Bruxelles - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2013-09-13 14:21:41		Robust Weighted Timed Automata and Games Ocan Sankur Universit´e Libre de Bruxelles Joint with Patricia Bouyer, Nicolas Markey ENS Cachan & CNRS Add to Reading List Source URL: www.ulb.ac.be Download Document from Source Website File Size: 335,96 KB Share Document on Facebook