Sciweavers

3028 search results - page 80 / 606

» Integrating Temporal Logics

77

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

Improved bounded model checking for a fair branching-time temporal epistemic logic

15 years 1 months ago

Improved bounded model checking for a fair branching-time temporal epistemic logic

Download www.cse.unsw.edu.au

Xiaowei Huang, Cheng Luo, Ron van der Meyden

claim paper

Read More »

46

CORR
2010
Springer

42views Education» more CORR 2010»

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

15 years 4 hour 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 »

61

CORR
2010
Springer

158views Education» more CORR 2010»

A Survey on Temporal Logics

14 years 12 months ago

A Survey on Temporal Logics

Download www.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

29

CORR
2010
Springer

40views Education» more CORR 2010»

Real-time and Probabilistic Temporal Logics: An Overview

14 years 12 months ago

Real-time and Probabilistic Temporal Logics: An Overview

Download cgi.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

80

ENTCS
2010

111views more ENTCS 2010»

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics

14 years 12 months ago

Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics

Download eprints.ecs.soton.ac.uk

Corina Cîrstea

claim paper

Read More »

« Prev « First page 80 / 606 Last » Next »