Search Sciweavers | Sciweavers

261 search results - page 4 / 53

» Robustness of Temporal Logic Specifications

114

Voted

HYBRID
2007
Springer

117views Control Systems» more HYBRID 2007»

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

15 years 10 months ago

Download www.cis.upenn.edu

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

claim paper

Read More »

135

click to vote

ARTS
1997
Springer

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

Refining Interval Temporal Logic Specifications

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

15 years 5 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 10 months ago

Download www.cs.utep.edu

Salamah Salamah, Vladik Kreinovich, Ann Q. Gates

claim paper

Read More »

115

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 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers