Search Sciweavers | Sciweavers

261 search results - page 4 / 53

» Robustness of Temporal Logic Specifications

Voted

HYBRID
2007
Springer

117views Control Systems» more HYBRID 2007»

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

15 years 3 months ago

Download www.cis.upenn.edu

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

claim paper

Read More »

click to vote

ARTS
1997
Springer

110views Distributed And Parallel Com...» more ARTS 1997»

Refining Interval Temporal Logic Specifications

15 years 1 months ago

Download www.cse.dmu.ac.uk

Antonio Cau, Hussein Zedan

claim paper

Read More »

click to vote

IJCAI
2007

140views Artificial Intelligence» more IJCAI 2007»

Non-monotonic Temporal Logics for Goal Specification

14 years 10 months ago

Download www.ijcai.org

Chitta Baral, Jicheng Zhao

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

15 years 3 months ago

Download www.cs.utep.edu

Salamah Salamah, Vladik Kreinovich, Ann Q. Gates

claim paper

Read More »

click to vote

KBSE
2002
IEEE

110views Software Engineering» more KBSE 2002»

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers