13866 search results - page 187 / 2774 » Dynamical Systems Game |
171
click to vote
LICS
2012
IEEE
13 years 6 months ago
2012
IEEE
—We study the logic of dynamical systems, that is, logics and proof principles for properties of dynamical systems. Dynamical systems are mathematical models describing how the s...
153
click to vote
HYBRID
2000
Springer
15 years 7 months ago
2000
Springer
A problem of great interest in the control of hybrid systems is the design of least restrictive controllers for reachability specifications. Controller design typically uses game t...
147
click to vote
ATAL
2011
Springer
14 years 4 months ago
2011
Springer
Recent rise in maritime piracy prompts the search for novel techniques for addressing the problem. We therefore developed AgentC, a prototype system that demonstrates how agent-ba...
130
click to vote
CIG
2005
IEEE
15 years 9 months ago
2005
IEEE
The aim of developing an agent that is able to adapt its actions in response to their effectiveness within the game provides the basis for the research presented in this paper. It ...
119
click to vote
JSAC
2008
15 years 4 months ago
2008
We compare two possible mechanisms to manage a peer-to-peer storage system, where participants can store data online on the disks of peers in order to increase data availability an...