Reachability

Results: 243



#Item
51Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis Hoang-Dung Tran, Luan Viet Nguyen, and Taylor T. Johnson∗ v0.1, Abstract

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis Hoang-Dung Tran, Luan Viet Nguyen, and Taylor T. Johnson∗ v0.1, Abstract

Add to Reading List

Source URL: www.taylortjohnson.com

- Date: 2015-04-09 23:57:47
    52Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization Stanley Bak Taylor T. Johnson

    Periodically-Scheduled Controller Analysis using Hybrid Systems Reachability and Continuization Stanley Bak Taylor T. Johnson

    Add to Reading List

    Source URL: www.taylortjohnson.com

    - Date: 2015-08-31 22:34:13
      53Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability Sagar Chaki, SEI/CMU

      Verifying Cyber-Physical Systems by Combining Software Model Checking with Hybrid Systems Reachability Sagar Chaki, SEI/CMU

      Add to Reading List

      Source URL: mys5.org

      - Date: 2016-07-21 00:38:00
        54Pointer Programs and Undirected Reachability Martin Hofmann Ulrich Schöpp

        Pointer Programs and Undirected Reachability Martin Hofmann Ulrich Schöpp

        Add to Reading List

        Source URL: www2.tcs.ifi.lmu.de

        - Date: 2009-08-12 17:39:40
          55Pointer Programs and Undirected Reachability Martin Hofmann Institut f¨ ur Informatik Ludwig-Maximilians-Universit¨at M¨ unchen

          Pointer Programs and Undirected Reachability Martin Hofmann Institut f¨ ur Informatik Ludwig-Maximilians-Universit¨at M¨ unchen

          Add to Reading List

          Source URL: www2.tcs.ifi.lmu.de

          - Date: 2009-05-31 07:55:07
            56Robust 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

            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

            Add to Reading List

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

            - Date: 2012-05-18 09:46:04
              571 Real-Time Reachability for Verified Simplex Design Stanley Bak† , Taylor T. Johnson‡ , Marco Caccamo∗ , Lui Sha∗ † United

              1 Real-Time Reachability for Verified Simplex Design Stanley Bak† , Taylor T. Johnson‡ , Marco Caccamo∗ , Lui Sha∗ † United

              Add to Reading List

              Source URL: www.taylortjohnson.com

                58Reachability and distance queries via 2-hop labels Edith Cohen ∗ Eran Halperin

                Reachability and distance queries via 2-hop labels Edith Cohen ∗ Eran Halperin

                Add to Reading List

                Source URL: www.cs.tau.ac.il

                - Date: 2009-01-01 08:42:50
                  59Efficiently Answering Reachability Queries on Large Directed Graphs

                  Efficiently Answering Reachability Queries on Large Directed Graphs

                  Add to Reading List

                  Source URL: www.usefulpatterns.org

                  - Date: 2012-07-05 06:56:15
                    60Inner Approximated Reachability Analysis Eric Goubault, Olivier Mullier, Sylvie Putot CEA LIST, CEA Saclay Nano-INNOVGif-sur-Yvette, France

                    Inner Approximated Reachability Analysis Eric Goubault, Olivier Mullier, Sylvie Putot CEA LIST, CEA Saclay Nano-INNOVGif-sur-Yvette, France

                    Add to Reading List

                    Source URL: www.lix.polytechnique.fr

                    - Date: 2014-02-10 03:12:53