13866 search results - page 152 / 2774 » Dynamical Systems Game |
109
click to vote
CDC
2008
IEEE
15 years 10 months ago
2008
IEEE
— In this paper, we study the Dynamic Traveling Repairman Problem (DTRP) for dynamic systems. In the DTRP, customers are arising dynamically and randomly in a bounded region R, a...
172
click to vote
HICSS
2010
IEEE
15 years 10 months ago
2010
IEEE
Network security is a complex and challenging problem. The area of network defense mechanism design is receiving immense attention from the research community for more than two de...
135
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
We present a logic for reasoning about strategic games. The logic is a modal formalism, based on the Coalition Logic of Propositional Control, to which we add the notions of outco...
122
Voted
ICRA
2007
IEEE
15 years 10 months ago
2007
IEEE
— This paper presents a multi-vehicle platform and framework for robotics education and research. The system is designed as an educational tool for introducing children to engine...
164
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
The question of the exact complexity of solving parity games is one of the major open problems in system verification, as it is equivalent to the problem of model-checking the mod...