Sciweavers

5599 search results - page 14 / 1120
» Abstract State Services
Sort
View
103
Voted
ATVA
2006
Springer
87views Hardware» more  ATVA 2006»
15 years 7 months ago
Timed Temporal Logics for Abstracting Transient States
Houda Bel Mokadem, Béatrice Bérard, ...
EUROS
2006
68views Robotics» more  EUROS 2006»
15 years 7 months ago
Reduction of Learning Time for Robots Using Automatic State Abstraction
Masoud Asadpour, Majid Nili Ahmadabadi, Roland Sie...
91
Voted
FORMATS
2006
Springer
15 years 7 months ago
Simulator for Real-Time Abstract State Machines
Pavel Vasilyev