2137 search results - page 301 / 428 » Proving Abstract Non-interference |
177
click to vote
IROS
2007
IEEE
15 years 10 months ago
2007
IEEE
— For the collaborative control of a team of robots, a set of well-suited high-level control algorithms, especially for path planning and measurement scheduling, is essential. Th...
161
click to vote
AAMAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. The application of reinforcement learning algorithms to multiagent domains may cause complex non-convergent dynamics. The replicator dynamics, commonly used in evolutiona...
120
click to vote
AAMAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Reinforcement learning (RL) is a widely used learning paradigm for adaptive agents. There exist several convergent and consistent RL algorithms which have been intensivel...
117
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Choosing a good variable order is crucial for making symbolic state-space generation algorithms truly efficient. One such algorithm is the MDD-based Saturation algorithm ...
120
click to vote
APN
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. We study the relationship between name creation and replication in a setting of infinitestate communicating automata. By name creation we mean the capacity of dynamicall...