2067 search results - page 340 / 414 » Logics of propositional control |
163
click to vote
LICS
2007
IEEE
16 years 18 days ago
2007
IEEE
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
188
click to vote
CONCUR
2007
Springer
16 years 15 days ago
2007
Springer
The model checking problem for finite-state open systems (module checking) has been extensively studied in the literature, both in the context of environments with perfect and imp...
186
click to vote
POLICY
2007
Springer
16 years 13 days ago
2007
Springer
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
164
click to vote
STACS
2007
Springer
16 years 13 days ago
2007
Springer
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. Performances of an MDP are evaluated by a payoff function. The controller of ...
175
click to vote
ICNP
2006
IEEE
16 years 11 days ago
2006
IEEE
— This paper reports on an experiment in network protocol design: we use novel rigorous techniques in the design process of a new protocol, in a close collaboration between syste...