Sage Journals: Discover world-class research

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 2010-5

Interactive verification of concurrent systems using symbolic execution

Simon Bäumler, Michael Balser, Florian Nafz [...]

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2009-5

On the Computational Power of Querying the History

Alexei Lisitsa, Igor Potapov

Fundamenta Informaticae

Retricted access

Research article

First published 2023-12

Supervised Bayesian specification inference from demonstrations

Ankit Shah, Pritish Kamath, Shen Li [...]

The International Journal of Robotics Research

Retricted access

Other

First published 2000-06

Mobile telecommunications and the management of time

Francis Jauréguiberry

Social Science Information

Retricted access

Research article

First published 2019-5

Control in belief space with temporal logic specifications using vision-based localization

Kevin Leahy, Eric Cristofalo, Cristian-Ioan Vasile [...]

The International Journal of Robotics Research

Retricted access

Research article

First published 2019

From Box Algebra to Interval Temporal Logic

Hanna Klaudel, Maciej Koutny, Zhenhua Duan [...]

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 2018

Evaluating Compliance: From LTL to Abductive Logic Programming

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

Fundamenta Informaticae

Retricted access

Research article

First published 2000-2

Project report on {LP}^+ : a second generation Logic Programming language

Danny De Schreye, Maurice Bruynooghe, Bart Demoen [...]

The European Journal on Artificial Intelligence

Search results