Linear temporal logic

Results: 458



#Item
1Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Optimal Multi-Valued LTL Planning for Systems with Access Right Levels Mohammad Hekmatnejad, and Georgios Fainekos Abstract— We propose a method for optimal Linear Temporal Logic (LTL) planning under incomplete or unce

Add to Reading List

Source URL: www.public.asu.edu

Language: English - Date: 2018-02-27 19:23:46
2Senior Thesis in Mathematics  Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability

Senior Thesis in Mathematics Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability

Add to Reading List

Source URL: www.cs.pomona.edu

Language: English - Date: 2018-05-11 18:24:09
    3Interpretable 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

    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
      4Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

      Motivation Non-classical logics – such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, fuzzy logic, paraconsistent logic, rel

      Add to Reading List

      Source URL: iltp.de

      Language: English - Date: 2018-03-07 05:52:01
      5Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

      Constructive Finite Trace Analysis with Linear Temporal Logic Martin Sulzmann and Axel Zechner Informatik Consulting Systems AG, Germany {martin.sulzmann,axel.zechner}@ics-ag.de

      Add to Reading List

      Source URL: www.home.hs-karlsruhe.de

      - Date: 2013-03-29 18:22:29
        6Linear-Time Temporal Logic Control of Discrete Event Systems Bruno Filipe Ara´ ujo Lacerda

        Linear-Time Temporal Logic Control of Discrete Event Systems Bruno Filipe Ara´ ujo Lacerda

        Add to Reading List

        Source URL: sqig.math.ist.utl.pt

        - Date: 2009-02-17 04:49:00
          7Programming in Linear Temporal Logic Wolfgang Jeltsch  Programming in Linear Temporal Logic

          Programming in Linear Temporal Logic Wolfgang Jeltsch Programming in Linear Temporal Logic

          Add to Reading List

          Source URL: cs.ioc.ee

          - Date: 2011-02-10 10:21:33
            8On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal

            On Finite Domains in First-Order Linear Temporal Logic Denis Kuperberg, Julien Brunel, David Chemouil To cite this version: Denis Kuperberg, Julien Brunel, David Chemouil. On Finite Domains in First-Order Linear Temporal

            Add to Reading List

            Source URL: hal.archives-ouvertes.fr

            - Date: 2016-07-12 08:42:58
              9Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract

              Jan Mendling and Stefanie Rinderle-Ma, eds.: Proceedings of EMISA 2016, Gesellschaft f¨ur Informatik, Bonn 2016 Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic (Extended Abstract

              Add to Reading List

              Source URL: eprints.cs.univie.ac.at

              - Date: 2016-08-08 07:44:57
                10Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

                Plausibility Checking of Formal Business Process Specifications in Linear Temporal Logic Christoph Czepa1 , Huy Tran1 , Uwe Zdun1 , Thanh Tran Thi Kim2 , Erhard Weiss2 , and Christoph Ruhsam2 1

                Add to Reading List

                Source URL: eprints.cs.univie.ac.at

                - Date: 2016-05-27 09:10:59