Sciweavers

107 search results - page 11 / 22
» Planning and Patching Proof
Sort
View
AIPS
2000
15 years 1 months ago
Probabilistic Hybrid Action Models for Predicting Concurrent Percept-Driven Robot Behavior
This paper develops Probabilistic Hybrid Action Models (PHAMs), a realistic causal model for predicting the behavior generated by modern concurrent percept-driven robot plans. PHA...
Michael Beetz, Henrik Grosskreutz
KR
2010
Springer
15 years 4 months ago
Diagnosis as Planning Revisited
In discrete dynamical systems change results from actions. As such, given a set of observations, diagnoses often take the form of posited events that result in the observed behavi...
Shirin Sohrabi, Jorge A. Baier, Sheila A. McIlrait...
COSIT
2009
Springer
146views GIS» more  COSIT 2009»
15 years 6 months ago
Decentralized Time Geography for Ad-Hoc Collaborative Planning
For an autonomous physical agent, such as a moving robot or a person with their mobile device, performing a task in a spatio-temporal environment often requires interaction with ot...
Martin Raubal, Stephan Winter, Christopher Dorr
EVOW
2006
Springer
15 years 3 months ago
Divide-and-Evolve: A New Memetic Scheme for Domain-Independent Temporal Planning
An original approach, termed Divide-and-Evolve is proposed to hybridize Evolutionary Algorithms (EAs) with Operational Research (OR) methods in the domain of Temporal Planning Prob...
Marc Schoenauer, Pierre Savéant, Vincent Vi...
ICRA
2010
IEEE
150views Robotics» more  ICRA 2010»
14 years 10 months ago
Balancing state-space coverage in planning with dynamics
— Sampling-based kinodynamic planners, such as the popular RRT algorithm, have been proposed as promising solutions to planning for systems with dynamics. Nevertheless, complex s...
Yanbo Li, Kostas E. Bekris