Search Sciweavers | Sciweavers

2632 search results - page 62 / 527

» Alternating Timed Automata

127

click to vote

JELIA
2004
Springer

107views Artificial Intelligence» more JELIA 2004»

Time Granularities and Ultimately Periodic Automata

16 years 1 days ago

Download users.dimi.uniud.it

Davide Bresolin, Angelo Montanari, Gabriele Puppis

claim paper

Read More »

119

click to vote

TACAS
2004
Springer

62views Algorithms» more TACAS 2004»

Lower and Upper Bounds in Zone Based Abstractions of Timed Automata

16 years 21 hour ago

Download www.lsv.ens-cachan.fr

Gerd Behrmann, Patricia Bouyer, Kim Guldstrand Lar...

claim paper

Read More »

148

click to vote

TACAS
2004
Springer

97views Algorithms» more TACAS 2004»

Resource-Optimal Scheduling Using Priced Timed Automata

16 years 21 hour ago

Download planning.cis.strath.ac.uk

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

claim paper

Read More »

177

Voted

CAV
2003
Springer

121views Hardware» more CAV 2003»

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

15 years 12 months ago

Download www.cs.cmu.edu

Sanjit A. Seshia, Randal E. Bryant

claim paper

Read More »

169

click to vote

CAV
2001
Springer

88views Hardware» more CAV 2001»

Binary Reachability Analysis of Pushdown Timed Automata with Dense Clocks

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers