Cachan

Results: 458



#Item
51Reachability in MDPs: Refining Convergence of Value Iteration Serge Haddad and Benjamin Monmege July 2014

Reachability in MDPs: Refining Convergence of Value Iteration Serge Haddad and Benjamin Monmege July 2014

Add to Reading List

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

- Date: 2014-07-17 17:45:06
    52Robust Reachability in Timed Automata and Games: A Game-based Approach I Patricia Bouyera , Nicolas Markeya , Ocan Sankurb a LSV, CNRS & ENS Cachan, Cachan, France.

    Robust Reachability in Timed Automata and Games: A Game-based Approach I Patricia Bouyera , Nicolas Markeya , Ocan Sankurb a LSV, CNRS & ENS Cachan, Cachan, France.

    Add to Reading List

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

    - Date: 2014-08-25 11:21:22
      53A Generic Security API for Symmetric Key Management on Cryptographic Devices V´eronique Cortier1 and Graham Steel2 1 2

      A Generic Security API for Symmetric Key Management on Cryptographic Devices V´eronique Cortier1 and Graham Steel2 1 2

      Add to Reading List

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

      - Date: 2009-07-29 11:28:11
        54Distributed synthesis for well-connected architectures? Paul Gastin1 , Nathalie Sznajder1 , and Marc Zeitoun2 1 LSV, ENS de Cachan & CNRS

        Distributed synthesis for well-connected architectures? Paul Gastin1 , Nathalie Sznajder1 , and Marc Zeitoun2 1 LSV, ENS de Cachan & CNRS

        Add to Reading List

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

        - Date: 2006-12-05 04:52:24
          551 Le mois de mai est celui de l’art contemporain à Cachan ! Du 02 au 31 mai la Ville de Cachan accueille dans 3 lieux emblématiques : l’Hôtel de Ville, le Château Raspail et

          1 Le mois de mai est celui de l’art contemporain à Cachan ! Du 02 au 31 mai la Ville de Cachan accueille dans 3 lieux emblématiques : l’Hôtel de Ville, le Château Raspail et

          Add to Reading List

          Source URL: gallery.mailchimp.com

          - Date: 2016-04-28 10:41:04
            56JID:JLAMP AID:149 /FLA [m3G; v1.191; Prn:; 15:19] PJournal of Logical and Algebraic Methods in Programming ••• (••••) •••–•••

            JID:JLAMP AID:149 /FLA [m3G; v1.191; Prn:; 15:19] PJournal of Logical and Algebraic Methods in Programming ••• (••••) •••–•••

            Add to Reading List

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

            - Date: 2016-11-25 09:45:35
              57Games on Concurrent Processes: Epistemic Strategies Sophia Knight McGill University

              Games on Concurrent Processes: Epistemic Strategies Sophia Knight McGill University

              Add to Reading List

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

              - Date: 2008-09-09 03:42:08
                58Robust Controller Synthesis in Timed Automata Ocan Sankur1 , Patricia Bouyer1 , Nicolas Markey1 , Pierre-Alain Reynier2 1 2

                Robust Controller Synthesis in Timed Automata Ocan Sankur1 , Patricia Bouyer1 , Nicolas Markey1 , Pierre-Alain Reynier2 1 2

                Add to Reading List

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

                - Date: 2013-06-19 03:54:44
                  59Formal Analysis of PKCS#11∗ St´ephanie Delaune, Steve Kremer and Graham Steel LSV, CNRS & INRIA & ENS de Cachan 61, avenue du Pr´esident WilsonCACHAN Cedex, FRANCE

                  Formal Analysis of PKCS#11∗ St´ephanie Delaune, Steve Kremer and Graham Steel LSV, CNRS & INRIA & ENS de Cachan 61, avenue du Pr´esident WilsonCACHAN Cedex, FRANCE

                  Add to Reading List

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

                  - Date: 2008-04-23 06:56:19
                    60February 9, 2015 Journal of Applied Non-Classical Logics final-jancl15

                    February 9, 2015 Journal of Applied Non-Classical Logics final-jancl15

                    Add to Reading List

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

                    - Date: 2015-02-12 03:32:44