Search Sciweavers | Sciweavers

1246 search results - page 59 / 250

» Recursive Timed Automata

154

click to vote

CAV
2001
Springer

88views Hardware» more CAV 2001»

Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks

15 years 10 months ago

Download www.eecs.wsu.edu

Zhe Dang

claim paper

Read More »

124

click to vote

HYBRID
2001
Springer

102views Control Systems» more HYBRID 2001»

Minimum-Cost Reachability for Priced Timed Automata

15 years 10 months ago

Download www.brics.dk

Gerd Behrmann, Ansgar Fehnker, Thomas Hune, Kim Gu...

claim paper

Read More »

139

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

15 years 10 months ago

Download www.seas.upenn.edu

Rajeev Alur, Salvatore La Torre, George J. Pappas

claim paper

Read More »

141

click to vote

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

15 years 10 months ago

Download www.brics.dk

Thomas Hune, Judi Romijn, Mariëlle Stoelinga,...

claim paper

Read More »

123

click to vote

FSTTCS
1998
Springer

56views Software Engineering» more FSTTCS 1998»

The Power of Reachability Testing for Timed Automata

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers