Sciweavers

32 search results - page 2 / 7
» Regression with Respect to Sensing Actions and Partial State...
Sort
View
ICRA
2009
IEEE
266views Robotics» more  ICRA 2009»
14 years 9 days ago
Behavioral control for multi-robot perimeter patrol: A Finite State Automata approach
Abstract— This paper proposes a multiple robot control algorithm to approach the problem of patrolling an open or closed line. The algorithm is fully decentralized, i.e., no comm...
Alessandro Marino, Lynne E. Parker, Gianluca Anton...
CONCUR
2008
Springer
13 years 7 months ago
Dynamic Partial Order Reduction Using Probe Sets
We present an algorithm for partial order reduction in the context of a countable universe of deterministic actions, of which finitely many are enabled at any given state. This mea...
Harmen Kastenberg, Arend Rensink
SPIN
2005
Springer
13 years 11 months ago
Improving Spin's Partial-Order Reduction for Breadth-First Search
We describe an improvement of the partial-order reduction algorithm for breadth-first search which was introduced in Spin version 4.0. Our improvement is based on the algorithm by...
Dragan Bosnacki, Gerard J. Holzmann
WSC
2007
13 years 8 months ago
Path-wise estimators and cross-path regressions: an application to evaluating portfolio strategies
Recently developed dual techniques allow us to evaluate a given sub-optimal dynamic portfolio policy by using the policy to construct an upper bound on the optimal value function....
Martin B. Haugh, Ashish Jain
AFPAC
1997
Springer
132views Mathematics» more  AFPAC 1997»
13 years 9 months ago
Perception and Action Using Multilinear Forms
In this paper it is shown how multilinear forms can be used in the perception-action cycle. Firstly, these forms can be used to reconstruct an unknown (or partially known) scene fr...
Anders Heyden, Gunnar Sparr, Kalle Åströ...