Reachability in Stochastic Timed Games Patricia Bouyer? and Vojtˇech Forejt?? 1 2

Source URL: qav.comlab.ox.ac.uk

• Algebra
• Mathematics
• Abstract algebra
• Timed automaton
• Markov chain
• Weight
• Markov decision process
• -ring
• Spectral theory of ordinary differential equations

Stochastic Timed Games Revisited S. Akshay∗1 , Patricia Bouyer†2 , Shankara Narayanan Krishna Lakshmi Manasa4 , and Ashutosh Trivedi5 1 ‡3

Source URL: drops.dagstuhl.de

Quantitative verification of weighted Kripke structures Patricia Bouyer, Patrick Gardy, Nicolas Markey July 2014

Source URL: www.lsv.ens-cachan.fr

Robust Model-Checking of Timed Automata via Pumping in Channel Machines★ Patricia Bouyer, Nicolas Markey, Ocan Sankur LSV, CNRS & ENS Cachan, France Abstract. Timed automata are governed by a mathematical semantics

Source URL: www.lsv.ens-cachan.fr

Almost-Sure Model-Checking of Reactive Timed Automata Patricia Bouyer∗ , Thomas Brihaye† , Marcin Jurdzi´nski‡ and Quentin Menet† ∗ LSV – CNRS & ENS Cachan – France

Source URL: www.lsv.ens-cachan.fr

Weighted strategy logic with boolean goals over one-counter games Patricia Bouyer, Patrick Gardy, Nicolas Markey October 2015

Source URL: www.lsv.ens-cachan.fr

On the semantics of Strategy LogicI Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract We define and study a slight variation on the semantics of Strategy Logi

Source URL: www.lsv.ens-cachan.fr

Quantitative verification of weighted Kripke structures Patricia Bouyer, Patrick Gardy, Nicolas Markey LSV – CNRS & ENS Cachan – France Abstract. Extending formal verification techniques to handle quantitative aspec

Source URL: www.lsv.ens-cachan.fr

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

Source URL: www.lsv.ens-cachan.fr

Weighted strategy logic with boolean goals over one-counter games∗ Patricia Bouyer, Patrick Gardy, and Nicolas Markey LSV – CNRS, ENS Cachan, Univ. Paris-Saclay – France Abstract

Source URL: www.lsv.ens-cachan.fr