Sciweavers

2116 search results - page 76 / 424
» On Probabilistic Alternating Simulations
Sort
View
138
Voted
ADMI
2010
Springer
15 years 3 months ago
Probabilistic Modeling of Mobile Agents' Trajectories
Abstract. We present a method for learning characteristic motion patterns of mobile agents. The method works on two levels. On the first level, it uses the expectation-maximization...
Stepán Urban, Michal Jakob, Michal Pechouce...
138
Voted
ANTSW
2010
Springer
14 years 11 months ago
Formal Verification of Probabilistic Swarm Behaviours
Robot swarms provide a way for a number of simple robots to work together to carry out a task. While swarms have been found to be adaptable, fault-tolerant and widely applicable, d...
Savas Konur, Clare Dixon, Michael Fisher
CDC
2009
IEEE
147views Control Systems» more  CDC 2009»
14 years 11 months ago
A probabilistic approach for control of a stochastic system from LTL specifications
We consider the problem of controlling a continuous-time linear stochastic system from a specification given as a Linear Temporal Logic (LTL) formula over a set of linear predicate...
Morteza Lahijanian, Sean B. Andersson, Calin Belta
126
Voted
ICRA
2010
IEEE
158views Robotics» more  ICRA 2010»
14 years 11 months ago
Localization of probabilistic robot formations in SLAM
This paper presents an EKF-based approach to the problem of robot formation pose tracking in SLAM when a previously built feature-based stochastic map of a navigation area is avail...
Maria Teresa Lazaro, José A. Castellanos
ESA
2009
Springer
104views Algorithms» more  ESA 2009»
15 years 6 months ago
Hyperbolic Dovetailing
A familiar quandary arises when there are several possible alternatives for the solution of a problem, but no way of knowing which, if any, are viable for a particular problem inst...
David G. Kirkpatrick