Sciweavers

1283 search results - page 76 / 257

» A Survey on Temporal Logics

107

SLP
1997

100views more SLP 1997»

Temporal Logic Model Checking (Abstract)

15 years 7 months ago

Temporal Logic Model Checking (Abstract)

Download www.info2.uqam.ca

Edmund M. Clarke

claim paper

Read More »

120

IJCAI
1993

98views Artificial Intelligence» more IJCAI 1993»

Constraint Deduction in an Interval-based Temporal Logic

15 years 7 months ago

Constraint Deduction in an Interval-based Temporal Logic

Download www.aaai.org

Jana Koehler, Ralf Treinen

claim paper

Read More »

144

ATAL
2010
Springer

100views Intelligent Agents» more ATAL 2010»

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

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

82

CORR
2010
Springer

42views Education» more CORR 2010»

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

15 years 6 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 »

60

CORR
2010
Springer

40views Education» more CORR 2010»

Real-time and Probabilistic Temporal Logics: An Overview

15 years 6 months ago

Real-time and Probabilistic Temporal Logics: An Overview

Download cgi.csc.liv.ac.uk

Savas Konur

claim paper

Read More »

« Prev « First page 76 / 257 Last » Next »