AUTOMATICA
2004
14 years 9 days ago
2004
: In this paper we consider the problem of controlling a multi
KI
2006
Springer
14 years 12 days ago
2006
Springer
Abstract. In this paper, a framework for previous and new quasi-exact extensions of the A -algorithm is presented. In contrast to previous approaches, the new methods guarantee to ...
CORR
2010
Springer
14 years 16 days ago
2010
Springer
Recently, a vector version of Witsenhausen's counterexample was considered and it was shown that in that limit of infinite vector length, certain quantization-based strategie...
FSTTCS
2006
Springer
14 years 4 months 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...
FSTTCS
2004
Springer
14 years 5 months ago
2004
Springer
Priced timed (game) automata extend timed (game) automata with costs on both locations and transitions. In this paper we focus on reachability priced timed game automata and prove ...