From First-order Temporal Logic to Parametric Trace Slicing Giles Reger and David Rydeheard University of Manchester, Manchester, UK Abstract. Parametric runtime verification is the process of verifying properties of ex

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

• Temporal logic
• Formal languages
• Logic
• Metalogic
• Mathematical logic
• Linear temporal logic
• Mathematics
• Model theory
• Symbol
• Computation tree logic
• Interpretation
• Well-formed formula

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

Temporal Logic Control under Incomplete or Conflicting Information Georgios Fainekos, and Herbert G. Tanner Abstract— Temporal logic control methods have provided a viable path towards solving the single- and multi-rob

Source URL: www.public.asu.edu

• Temporal logic
• Algebraic structures
• Mathematics
• Logic
• Metaphysics
• Linear temporal logic
• Logic in computer science
• Computation tree logic
• Non-classical logic
• Model checking
• Many-valued logic
• Lattice

2017 American Control Conference Sheraton Seattle Hotel May 24–26, 2017, Seattle, USA Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications

Source URL: dorsa.fyi

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

Source URL: www.cs.pomona.edu

Metric Temporal Logic With Counting S.N.Krishna, Khushraj Madnani, Paritosh.K.Pandya February 1, 2016 S.N.Krishna, Khushraj Madnani, Paritosh.K.Pandya

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

Optimal Temporal Logic Planning in Probabilistic Semantic Maps Jie Fu, Nikolay Atanasov, Ufuk Topcu, and George J. Pappas Abstract—This paper considers robot motion planning under temporal logic constraints in probabil

Source URL: erl.ucsd.edu

Constructive Temporal Logic, Categorically Valeria de Paiva AI Laboratory, Nuance Communications Sunnyvale 94085, USA

Source URL: metatheorem.org

A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries Alessandro Artale1 , Enrico Franconi2 , Frank Wolter3 , Michael Zakharyaschev4 1 Dept. of Computation, UMIST, Manchester, UK; t

Source URL: www.inf.unibz.it

Temporal Logic Made Practical Cindy Eisner and Dana Fisman Abstract In the late seventies, Pnueli suggested that functional properties of reactive systems be formally expressed in temporal logic. In order that model chec

Source URL: www.cis.upenn.edu