Search Sciweavers | Sciweavers

1283 search results - page 68 / 257

» A Survey on Temporal Logics

150

click to vote

TARK
2007
Springer

92views Automated Reasoning» more TARK 2007»

Alternating-time temporal logic with explicit strategies

16 years 8 days ago

Download www.csc.liv.ac.uk

We introduce ATLES – a variant of ATL with explicit names for strategies in the object language. ATLES makes it possible to refer to the same strategy in different occurrences o...

Dirk Walther, Wiebe van der Hoek, Michael Wooldrid...

claim paper

Read More »

123

click to vote

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

15 years 11 months ago

Download www.cl.cam.ac.uk

Ben C. Moszkowski

claim paper

Read More »

124

click to vote

CONCUR
2005
Springer

76views Distributed And Parallel Com...» more CONCUR 2005»

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

15 years 11 months ago

Download www.liafa.jussieu.fr

Paul Gastin, Dietrich Kuske

claim paper

Read More »

164

click to vote

FORMATS
2005
Springer

132views Formal Methods» more FORMATS 2005»

Real Time Temporal Logic: Past, Present, Future

15 years 11 months ago

Download www-verimag.imag.fr

This paper attempts to improve our understanding of timed languages and their relation to timed automata. We start by giving a constructive proof of the folk theorem stating that t...

Oded Maler, Dejan Nickovic, Amir Pnueli

claim paper

Read More »

138

click to vote

LOPSTR
2005
Springer

88views Automated Reasoning» more LOPSTR 2005»

Temporal Logic Constraints in the Biochemical Abstract Machine BIOCHAM

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers