Combination of temporal logic with modal logic KD by Regimantas Pliuškevičius

Get full text

Grouping based calculus for propositional linear temporal logic by Kostas Ragauskas, Adomas Birštunas

“… In this paper, the authors research the problem of loops in linear temporal logic PLTL. The task involves defining the standard rule application process for the derivation procedure (as used in [4] and [5]), determining and proving properties for the absence of a loop beneath some sequent, and creating a new calculus G*TL, which uses the proposed sequent grouping method, along with the method of marks (similar marking concepts were proposed in  [5] and [6]). …”
Get full text

Decision procedure for a fragment of quantified branching temporal logic by Aida Pliuškevičienė

Get full text

Relation between classical and intuitionistic sequent calculi of temporal logic by Romas Alonderis

Get full text

Completeness classes for intuitionistic first-order temporal logic with time gaps by Romas Alonderis

Subjects: Get full text

Fatigue, Indolence And The There Is, Or, The Temporal Logic Of Collage In Donald Barthelme’s Snow White by Zuzanna Ładyga

Get full text

Structural rules and cut admissibility in a sequent calculus of temporal logic with predicates = and > by Romas Alonderis

Get full text

Decision procedure for first-order linear temporal logic with semi-periodic kemels by Regimantas Pliuškevičius

Get full text

Specialization of loop rules of a sequent calculus of intuitionistic temporal logic with time gaps by Romas Alonderis

Get full text

Temporal-Logic-Based Testing Tool for Programs Using the Message Passing Interface (MPI) and Open Multi-Processing (OpenMP) Programming Models by Salwa Saad, Etimad Fadel, Ohoud Alzamzami, Fathy Eassa, Ahmed Mohammed Alghamdi

Subjects: Get full text

Gentzen and Temporal Sequents by Indrzejczak Andrzej

Subjects: Get full text

Approach on runtime monitoring based on the embedded trusted platforms by Zhao-chang SUN, Jian-feng MA, Cong SUN, Di LU

Subjects: Get full text

Research on industrial Internet security detection and response based on digital twin by MA Jiali, GUO Yuanbo, FANG Chen, CHEN Qingli, ZHANG Qi

Subjects: Get full text

Runtime verification approach for DoS attack detection in edge servers by Bin YU, Nan ZHANG, Xu LU, Zhenhua DUAN, Cong TIAN

Subjects: “…propositional projection temporal logic…”
Get full text

Bounded Model Checking of ETL Cooperating with Finite and Looping Automata Connectives by Rui Wang, Wanwei Liu, Tun Li, Xiaoguang Mao, Ji Wang

“…Since such kind of temporal logic involves both finite and looping automata as connectives, all regular properties can be succinctly specified with it. …”
Get full text

Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol by Xiaoru Li, Xiaohong Li, Guangquan Xu, Jing Hu, Zhiyong Feng

“…In our analysis, we employ and combine the strength of extended modeling language CSP# and linear temporal logic (LTL) to verify the fairness of OMPCS protocols. …”
Get full text

A synthesis method for zero-sum mean-payoff asynchronous probabilistic games by Wei Zhao, Wanwei Liu, Zhiming Liu, Tiexin Wang

“…Abstract The traditional synthesis problem aims to automatically construct a reactive system (if it exists) satisfying a given Linear Temporal Logic (LTL) specifications, and is often referred to as a qualitative problem. …”
Get full text

Concurrent Learning of Control Policy and Unknown Safety Specifications in Reinforcement Learning by Lunet Yifru, Ali Baheri

“…Initializing with a parametric signal temporal logic (pSTL) safety specification and a small initial labeled dataset, we frame the problem as a bilevel optimization task, intricately integrating constrained policy optimization, using a Lagrangian-variant of the twin delayed deep deterministic policy gradient (TD3) algorithm, with Bayesian optimization for optimizing parameters for the given pSTL safety specification. …”
Get full text