63 search results - page 1 / 13 » The computational complexity of avoiding spurious states in ... |
AI
2010
Springer
13 years 5 months ago
2010
Springer
SPIN
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. The semantics of modelling languages are not always specified in a precise and formal way, and their rather complex underlying models make it a non-trivial exercise to r...
ISSTA
2006
ACM
13 years 11 months ago
2006
ACM
The popularity of object-oriented programming has led to the wide use of container libraries. It is important for the reliability of these containers that they are tested adequate...
ATAL
2010
Springer
13 years 6 months ago
2010
Springer
This paper describes an algorithm, called CQ-learning, which learns to adapt the state representation for multi-agent systems in order to coordinate with other agents. We propose ...
ICRA
2010
IEEE
13 years 3 months ago
2010
IEEE
Abstract— Kinodynamic planning algorithms like RapidlyExploring Randomized Trees (RRTs) hold the promise of finding feasible trajectories for rich dynamical systems with complex...