ICALP
2009
Springer
15 years 18 days ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
ICALP
2009
Springer
15 years 18 days ago
2009
Springer
We define stochastic timed games, which extend two-player timed games with probabilities (following a recent approach by Baier et al), and which extend in a natural way continuous-...
ICALP
2009
Springer
15 years 18 days ago
2009
Springer
ICALP
2009
Springer
15 years 18 days ago
2009
Springer
Ong has shown that the modal mu-calculus model checking problem (equivalently, the alternating parity tree automaton (APT) acceptance problem) of possibly-infinite ranked trees gen...
ICALP
2009
Springer
15 years 18 days ago
2009
Springer
ICALP
2009
Springer
15 years 18 days ago
2009
Springer
We examine several online matching problems, with applications to Internet advertising reservation systems. Consider an edge-weighted bipartite graph G, with partite sets L, R. We...
ICALP
2009
Springer
15 years 18 days ago
2009
Springer
ICALP
2009
Springer
15 years 18 days ago
2009
Springer
Abstract. We introduce the notion of regular cost functions: a quantitative extension to the standard theory of regular languages. We provide equivalent characterisations of this n...
ICALP
2009
Springer
15 years 18 days ago
2009
Springer
ICALP
2009
Springer
15 years 18 days ago
2009
Springer
Abstract. In this paper, we show that the proportional response dynamics, a utility based distributed dynamics, converges to the market equilibrium in the Fisher market with consta...