FSTTCS
15 years 19 days ago
2006 Springer 
Abstract. Stochastic optimization is a leading approach to model optimization problems in which there is uncertainty in the input data, whether from measurement noise or an inabili...
FSTTCS
15 years 19 days ago
2006 Springer
We propose a new approach to verification of probabilistic processes for which the model may not be available. We use a technique from Reinforcement Learning to approximate how far...
FSTTCS
15 years 19 days ago
2006 Springer
The boundary labeling problem was recently introduced in [5] as a response to the problem of labeling dense point sets with large labels. In boundary labeling, we are given a recta...
FSTTCS
15 years 19 days ago
2006 Springer 
Abstract. We describe a denotational (game) semantics for a call-byvalue functional language with multiple threads of control, which may communicate values of general type on local...
FSTTCS
15 years 19 days ago
2006 Springer 
We consider timed games extended with cost information, and prove computability of the optimal cost and of -optimal memoryless strategies in timed games with one clock. In contrast...
|
Software Engineering