15792 search results - page 102 / 3159 » Computational Abstraction Steps |
FORMATS
2010
Springer
13 years 7 months ago
2010
Springer
We present a general approach to combine symbolic state space representations for the discrete and continuous parts in the synthesis of winning strategies for timed reachability ga...
CCA
2009
Springer
14 years 3 months ago
2009
Springer
d Abstract) Robert Rettinger1 Department of Mathematics and Computer Science University of Hagen, Germany Abstract. We show that under reasonable assumptions there exist Riemann ma...
HPCA
2007
IEEE
14 years 9 months ago
2007
IEEE
RECOMB
2007
Springer
14 years 9 months ago
2007
Springer
CHI
2010
ACM
14 years 4 months ago
2010
ACM
