Search Sciweavers | Sciweavers

1167 search results - page 62 / 234

» A Really Temporal Logic

click to vote

HYBRID
2007
Springer

117views Control Systems» more HYBRID 2007»

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

14 years 3 months ago

Download www.cis.upenn.edu

Georgios E. Fainekos, Antoine Girard, George J. Pa...

claim paper

Read More »

click to vote

SEKE
2007
Springer

67views Software Engineering» more SEKE 2007»

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications

14 years 3 months ago

Download www.cs.utep.edu

Salamah Salamah, Vladik Kreinovich, Ann Q. Gates

claim paper

Read More »

click to vote

TARK
2007
Springer

92views Automated Reasoning» more TARK 2007»

Alternating-time temporal logic with explicit strategies

14 years 3 months 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 »

click to vote

BIRTHDAY
2005
Springer

97views Applied Computing» more BIRTHDAY 2005»

A Hierarchical Analysis of Propositional Temporal Logic based on Intervals

14 years 3 months ago

Download www.cl.cam.ac.uk

Ben C. Moszkowski

claim paper

Read More »

click to vote

CONCUR
2005
Springer

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

Uniform Satisfiability Problem for Local Temporal Logics over Mazurkiewicz Traces

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers