Search Sciweavers | Sciweavers

732 search results - page 53 / 147

» Axiomatising timed automata

click to vote

HYBRID
2001
Springer

102views Control Systems» more HYBRID 2001»

Minimum-Cost Reachability for Priced Timed Automata

15 years 4 months ago

Download www.brics.dk

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

claim paper

Read More »

click to vote

HYBRID
2001
Springer

105views Control Systems» more HYBRID 2001»

Optimal Paths in Weighted Timed Automata

15 years 4 months ago

Download www.seas.upenn.edu

Rajeev Alur, Salvatore La Torre, George J. Pappas

claim paper

Read More »

click to vote

TACAS
2001
Springer

111views Algorithms» more TACAS 2001»

Linear Parametric Model Checking of Timed Automata

15 years 4 months ago

Download www.brics.dk

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

claim paper

Read More »

click to vote

FSTTCS
1998
Springer

56views Software Engineering» more FSTTCS 1998»

The Power of Reachability Testing for Timed Automata

15 years 4 months ago

Download www.brics.dk

Luca Aceto, Patricia Bouyer, Augusto Burgueñ...

claim paper

Read More »

click to vote

TACAS
1998
Springer

103views Algorithms» more TACAS 1998»

Model Checking via Reachability Testing for Timed Automata

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers