Search Sciweavers | Sciweavers

3229 search results - page 73 / 646

» The Theory of Timed Automata

123

click to vote

TACAS
2004
Springer

97views Algorithms» more TACAS 2004»

Resource-Optimal Scheduling Using Priced Timed Automata

15 years 10 months ago

Download planning.cis.strath.ac.uk

Jacob Illum Rasmussen, Kim Guldstrand Larsen, K. S...

claim paper

Read More »

162

click to vote

CAV
2003
Springer

121views Hardware» more CAV 2003»

Unbounded, Fully Symbolic Model Checking of Timed Automata using Boolean Methods

15 years 10 months ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

149

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 »

117

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 »

130

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers