Sage Journals: Discover world-class research

Retricted access

Research article

First published 2011-1

A Paraconsistent Linear-time Temporal Logic

Norihiro Kamide, Heinrich Wansing

Fundamenta Informaticae

Retricted access

Research article

First published 2016

Temporal normal form for Linear Temporal Logic formulae 1

Hui-Xian Shi, Yong-Ming Li

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Free access

Research article

First published 2012-8

Applications of Finite Linear Temporal Logic to Piecewise Linear Aggregates

Henrikas Pranevicius, Stanislovas Norgėla

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2007-11

Decidability w.r.t. Logical Consecutions of Linear Temporal Logic Extended by Since and Previous

Vladimir V. Rybakov

Fundamenta Informaticae

Retricted access

Research article

First published 1998-10

Adding Partial Orders to Linear Temporal Logic

Girish Bhat, Doron Peled

Fundamenta Informaticae

Retricted access

Research article

First published 2014-11

Quantitative Analysis of Lattice-valued Kripke Structures

Haiyu Pan, Min Zhang, Hengyang Wu [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2020-7

Reactive sampling-based path planning with temporal logic specifications

Cristian Ioan Vasile, Xiao Li, Calin Belta

The International Journal of Robotics Research

Retricted access

Research article

First published 2017-8-9

Verification of Linear-Time Temporal Properties for Reaction Systems with Discrete Concentrations

Artur Męski, Maciej Koutny, Wojciech Penczek

Fundamenta Informaticae

Retricted access

Research article

First published 2016-2

Formal specification and verification of a distributed fault localization,isolation and supply restoration algorithm

Wanshui Ling, Jiaquan Yang, Jingxi Zou

Journal of Computational Methods in Sciences and Engineering

Retricted access

Research article

First published 2019-8

Probabilistic planning with formal performance guarantees for mobile service robots

Bruno Lacerda, Fatma Faruq, David Parker [...]

The International Journal of Robotics Research

Search results