1![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 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](https://www.pdfsearch.io/img/f9f8e918ca8a7a5cd6adb30efaf525be.jpg) | Add to Reading ListSource URL: www.cs.man.ac.ukLanguage: English - Date: 2016-07-20 12:50:18
|
---|
2![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 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](https://www.pdfsearch.io/img/82339b79d73eab4f77f6066a4c761d4f.jpg) | Add to Reading ListSource URL: www.public.asu.eduLanguage: English - Date: 2018-02-27 19:23:46
|
---|
3![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 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](https://www.pdfsearch.io/img/9d06037f7ef012eefed05bcaa8a013f0.jpg) | Add to Reading ListSource URL: www.public.asu.eduLanguage: English - Date: 2018-02-08 16:28:11
|
---|
4![2017 American Control Conference Sheraton Seattle Hotel May 24–26, 2017, Seattle, USA Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications 2017 American Control Conference Sheraton Seattle Hotel May 24–26, 2017, Seattle, USA Stochastic Predictive Freeway Ramp Metering from Signal Temporal Logic Specifications](https://www.pdfsearch.io/img/daec87484601d87b46781ef9a11d9bb3.jpg) | Add to Reading ListSource URL: dorsa.fyiLanguage: English - Date: 2018-08-10 01:41:28
|
---|
5![Senior Thesis in Mathematics Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability Senior Thesis in Mathematics Infiniteness and Linear Temporal Logic: Soundness, Completeness, & Decidability](https://www.pdfsearch.io/img/7115f53f6b3b1ddee2a7d6ba453df912.jpg) | Add to Reading ListSource URL: www.cs.pomona.eduLanguage: English - Date: 2018-05-11 18:24:09
|
---|
6![Metric Temporal Logic With Counting S.N.Krishna, Khushraj Madnani, Paritosh.K.Pandya February 1, 2016 S.N.Krishna, Khushraj Madnani, Paritosh.K.Pandya Metric Temporal Logic With Counting S.N.Krishna, Khushraj Madnani, Paritosh.K.Pandya February 1, 2016 S.N.Krishna, Khushraj Madnani, Paritosh.K.Pandya](https://www.pdfsearch.io/img/33baa1bde5fc6b418aa6f355a53efb07.jpg) | Add to Reading ListSource URL: www.cse.iitb.ac.inLanguage: English - Date: 2016-04-04 07:21:50
|
---|
7![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 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](https://www.pdfsearch.io/img/ffca2d176b390d6f256dd3ca0eaeafd1.jpg) | Add to Reading ListSource URL: erl.ucsd.edu- Date: 2018-06-10 00:33:20
|
---|
8![Constructive Temporal Logic, Categorically Valeria de Paiva AI Laboratory, Nuance Communications Sunnyvale 94085, USA Constructive Temporal Logic, Categorically Valeria de Paiva AI Laboratory, Nuance Communications Sunnyvale 94085, USA](https://www.pdfsearch.io/img/ad2807913c38046260ff0d2193d8a6bb.jpg) | Add to Reading ListSource URL: metatheorem.orgLanguage: English - Date: 2018-08-14 14:33:44
|
---|
9![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 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](https://www.pdfsearch.io/img/ef5700d2f3bc335db65d38951f12930d.jpg) | Add to Reading ListSource URL: www.inf.unibz.itLanguage: English - Date: 2017-01-27 04:48:10
|
---|
10![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 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](https://www.pdfsearch.io/img/58c051c1d11fcf3bde52ca83a1e4275f.jpg) | Add to Reading ListSource URL: www.cis.upenn.eduLanguage: English - Date: 2014-11-11 14:34:56
|
---|