Reachability

Results: 243



#Item
81

The Reachability Problem for Vector Addition Systems J´erˆ ome Leroux LaBRI (CNRS and University of Bordeaux), France. J´

Add to Reading List

Source URL: www.uet.vnu.edu.vn

Language: English - Date: 2016-03-06 11:51:31
    82

    Reachability for Continuous and Hybrid Systems Oded Maler CNRS - VERIMAG Grenoble, France RP, September 2009

    Add to Reading List

    Source URL: www-verimag.imag.fr

    Language: English - Date: 2009-09-22 13:47:17
      83

      On the Decidability of the Reachability Problem for Planar Differential Inclusions ? E. Asarin ??

      Add to Reading List

      Source URL: www.liafa.jussieu.fr

      Language: English - Date: 2003-09-04 08:34:46
        84

        Reachability Modulo Theory Library (Extended Abstract) Francesco Alberti Roberto Bruttomesso

        Add to Reading List

        Source URL: smt2012.loria.fr

        Language: English - Date: 2012-06-20 03:34:17
          85

          NASA Formal Methods 2015 April 27th, 2015 Pasadena, CA, USA Reachability Preservation Based Parameter Synthesis for Timed Automata

          Add to Reading List

          Source URL: lipn.univ-paris13.fr

          Language: English - Date: 2015-04-27 11:02:53
            86

            Reachability Analysis of Dynamical Systems having Piecewise-Constant Derivatives Eugene Asarin y Oded Maler z November 10, 1994

            Add to Reading List

            Source URL: www-verimag.imag.fr

            Language: English - Date: 2006-04-04 05:34:50
              87

              Why Multi-Result Supercompilation Matters: Case Study of Reachability Problems for Transition Systems (meta 2012)

              Add to Reading List

              Source URL: meta2012.pereslavl.ru

              Language: English - Date: 2012-08-19 16:00:00
                88

                Reachability Analysis via Face Lifting? Thao Dang and Oded Maler Verimag, Centre Equation, 2, av. de Vignate, 38610 Gi eres, France, fThao.Dang, Abstract. In this paper we discuss the problem of calc

                Add to Reading List

                Source URL: www-verimag.imag.fr

                Language: English - Date: 2006-04-28 11:30:06
                  89

                  Improving Reachability Analysis of Infinite State Systems by Specialization Fabio Fioravanti1 , Alberto Pettorossi2, Maurizio Proietti3 , and Valerio Senni2,4 1 Dipartimento di Scienze, University ‘G. D’Annunzio’,

                  Add to Reading List

                  Source URL: www.sci.unich.it

                  Language: English - Date: 2013-07-17 03:26:56
                    90

                    An Alternative Construction in Symbolic Reachability Analysis of Second Order Pushdown Systems Anil Seth CSE Department, I.I.T. Kanpur, Kanpur, INDIA.

                    Add to Reading List

                    Source URL: www.cse.iitk.ac.in

                    Language: English - Date: 2008-04-21 10:51:08
                      UPDATE