Sage Journals: Discover world-class research

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

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 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 2016

Classifiers for Behavioral Patterns Identification Induced from Huge Temporal Data

Jan G. Bazan, Marcin Szpyrka, Adam Szczur [...]

Fundamenta Informaticae

Retricted access

Research article

First published 2018

Evaluating Compliance: From LTL to Abductive Logic Programming

Federico Chesani, Marco Gavanelli, Evelina Lamma [...]

Fundamenta Informaticae

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 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 2011-1

First-Order Linear-time Epistemic Logic with Group Knowledge: An Axiomatisation of the Monodic Fragment

Francesco Belardinelli, Alessio Lomuscio

Fundamenta Informaticae

Retricted access

Research article

First published 2011-12

Optimal path planning for surveillance with temporal-logic constraints *

Stephen L Smith, Jana Tůmová, Calin Belta [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 1998-10

Adding Partial Orders to Linear Temporal Logic

Girish Bhat, Doron Peled

Fundamenta Informaticae

Search results