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

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Mathematical logic
• Theoretical computer science
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• MVS
• Boolean domain
• Boolean algebra
• Finite-state machine

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

Source URL: www.cs.pomona.edu

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

Source URL: hrilab.tufts.edu

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

Source URL: iltp.de

• Logic
• Mathematical logic
• Non-classical logic
• Philosophical logic
• Logic in computer science
• Proof theory
• Modal logic
• Modality
• Paraconsistent logic
• Classical logic
• Deontic logic
• Intuitionistic logic

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

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

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

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

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

Source URL: cs.ioc.ee

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

Source URL: hal.archives-ouvertes.fr

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

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

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

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