Search Sciweavers | Sciweavers

7311 search results - page 85 / 1463

» Time in State Machines

118

click to vote

RTSS
1994
IEEE

85views Control Systems» more RTSS 1994»

Computing Quantitative Characteristics of Finite-State Real-Time Systems

15 years 8 months ago

Download www.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

109

Voted

ATVA
2006
Springer

87views Hardware» more ATVA 2006»

Timed Temporal Logics for Abstracting Transient States

15 years 7 months ago

Download www.lsv.ens-cachan.fr

Houda Bel Mokadem, Béatrice Bérard, ...

claim paper

Read More »

102

click to vote

EUROS
2006

68views Robotics» more EUROS 2006»

Reduction of Learning Time for Robots Using Automatic State Abstraction

15 years 7 months ago

Download birg2.epfl.ch

Masoud Asadpour, Majid Nili Ahmadabadi, Roland Sie...

claim paper

Read More »

Voted

LCTRTS
1995
Springer

83views System Software» more LCTRTS 1995»

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems

15 years 7 months ago

Download www-2.cs.cmu.edu

Sérgio Vale Aguiar Campos, Edmund M. Clarke...

claim paper

Read More »

120

click to vote

REX
1991

107views Logical Reasoning» more REX 1991»

The State Operator in Real Time Process Algebra

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers