LTL

Results: 309



#Item
11

TPE INTERLINE NETWORK SCHEDULE SMarch, 2018 to 27 October, KZ 241 KZ 241 NCA Interline Network LTL Service 　　DEP

Add to Reading List

Source URL: www.nca.aero

- Date: 2018-03-22 04:20:27
    12

    Formale Systeme LTL und Model Checking Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK KIT – I NSTITUT F UR

    Add to Reading List

    Source URL: i12www.ira.uka.de

    Language: German - Date: 2013-02-06 04:05:25
      13

      PVG INTERLINE NETWORK SCHEDULE S18 ( 25 March, 2018 to 27 October, KZ 225 KZ 227 KZ 225 KZ 229 KZ 225 KZ 227 KZ 225 KZ 227 KZ 225 KZ 227 KZ 225 KZ 227 NCA Interline Network LTL Service 　　DEP

      Add to Reading List

      Source URL: www.nca.aero

      Language: English - Date: 2018-03-22 04:20:27
        14

        Interpretable Apprenticeship Learning with Temporal Logic Specifications Daniel Kasenberg and Matthias Scheutz Abstract— Recent work has addressed using formulas in linear temporal logic (LTL) as specifications for age

        Add to Reading List

        Source URL: hrilab.tufts.edu

        Language: English - Date: 2017-08-21 16:50:42
          15

          Introduction Safety Properties General Properties Translating LTL to Probabilistic Automata Dileep Kini

          Add to Reading List

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

          Language: English - Date: 2016-02-25 04:01:29
            16

            Jens Knoop, Uwe Zdun (Hrsg.): Software Engineering 2016, Lecture Notes in Informatics (LNI), Gesellschaft f¨ur Informatik, BonnGR(1) Synthesis for LTL Specification Patterns Shahar Maoz1 and Jan Oliver Ringert

            Add to Reading List

            Source URL: subs.emis.de

            Language: English - Date: 2016-02-25 13:12:58
              17

              Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

              Add to Reading List

              Source URL: i12www.ira.uka.de

              Language: German - Date: 2014-01-31 07:17:00
                18

                Formale Systeme LTL und Buchi-Automaten ¨ Prof. Dr. Peter H. Schmitt ¨ T HEORETISCHE I NFORMATIK

                Add to Reading List

                Source URL: i12www.ira.uka.de

                Language: German - Date: 2014-01-31 07:16:57
                  19

                  A New Algorithm for Strategy Synthesis in LTL Games Aidan Harding1 , Mark Ryan1 , and Pierre-Yves Schobbens2 1 2

                  Add to Reading List

                  Source URL: www.cs.bham.ac.uk.

                  Language: English - Date: 2009-02-25 10:33:24
                    20

                    Intuitionistic LTL and a New Characterization of Safety and Liveness Patrick Maier MPI–I–2004–2–002

                    Add to Reading List

                    Source URL: www.dcs.gla.ac.uk

                    - Date: 2013-12-19 07:07:15
                      UPDATE