Search Sciweavers | Sciweavers

1283 search results - page 67 / 257

» A Survey on Temporal Logics

click to vote

CAV
2007
Springer

159views Hardware» more CAV 2007»

Boolean Abstraction for Temporal Logic Satisfiability

16 years 11 days ago

Download www.schuppan.de

Alessandro Cimatti, Marco Roveri, Viktor Schuppan,...

claim paper

Read More »

141

click to vote

CMSB
2007
Springer

104views Applied Computing» more CMSB 2007»

On the Analysis of Numerical Data Time Series in Temporal Logic

16 years 10 days ago

Download www.nesc.ac.uk

François Fages, Aurélien Rizk

claim paper

Read More »

126

click to vote

FROCOS
2007
Springer

91views Control Systems» more FROCOS 2007»

A Temporal Logic of Robustness

16 years 10 days ago

Download www.csse.uwa.edu.au

Tim French, John Christopher McCabe-Dansted, Mark ...

claim paper

Read More »

140

click to vote

HYBRID
2007
Springer

117views Control Systems» more HYBRID 2007»

Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications

16 years 10 days ago

Download www.cis.upenn.edu

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

claim paper

Read More »

121

click to vote

SEKE
2007
Springer

67views Software Engineering» more SEKE 2007»

Generating Linear Temporal Logic Formulas for Pattern-Based Specifications

16 years 8 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers