Sciweavers

1860 search results - page 75 / 372

» A Temporal Logic of Robustness

20

CORR
2010
Springer

42views Education» more CORR 2010»

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

13 years 10 months ago

Begin, After, and Later: a Maximal Decidable Interval Temporal Logic

Download perseo.dif.um.es

Davide Bresolin, Pietro Sala, Guido Sciavicco

claim paper

Read More »

22

CORR
2010
Springer

158views Education» more CORR 2010»

A Survey on Temporal Logics

13 years 10 months ago

A Survey on Temporal Logics

Download www.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

8

CORR
2010
Springer

40views Education» more CORR 2010»

Real-time and Probabilistic Temporal Logics: An Overview

13 years 10 months ago

Real-time and Probabilistic Temporal Logics: An Overview

Download cgi.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

28

ENTCS
2010

111views more ENTCS 2010»

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics

13 years 10 months ago

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics

Download eprints.ecs.soton.ac.uk

Corina Cîrstea

claim paper

Read More »

23

FUIN
2008

80views more FUIN 2008»

Products of Tree Automata with an Application to Temporal Logic

13 years 10 months ago

Products of Tree Automata with an Application to Temporal Logic

Download www.inf.u-szeged.hu

Zoltán Ésik, Szabolcs Iván

claim paper

Read More »

« Prev « First page 75 / 372 Last » Next »