Search Results - "Simmons, Reid G"

Statistical probabilistic model checking with a focus on time-bounded properties by Younes, Håkan L.S., Simmons, Reid G.

“…Probabilistic verification of continuous-time stochastic processes has received increasing attention in the model-checking community in the past five years,…”
Get full text

Collision-free motion coordination of heterogeneous robots by Ko, Nak Yong, Seo, Dong Jin, Simmons, Reid G.

“…This paper proposes a method to coordinate the motion of multiple heterogeneous robots on a network. The proposed method uses prioritization and avoidance…”
Get full text

Heuristic anytime approaches to stochastic decision processes by Fernández, Joaquín L., Sanz, Rafael, Simmons, Reid G., Diéguez, Amador R.

“…This paper proposes a set of methods for solving stochastic decision problems modeled as partially observable Markov decision processes (POMDPs). This approach…”
Get full text

A Lane Based Obstacle Avoidance Method for Mobile Robot Navigation by Ko, Nak Yong, Simmons, Reid G, Kim, Koung Suk

“…This paper presents a new local obstacle avoidance method for indoor mobile robots. The method uses a new directional approach called the Lane Method. The Lane…”
Get full text

VHPOP: Versatile Heuristic Partial Order Planner by Younes, H. L.S., Simmons, R. G.

“…VHPOP is a partial order causal link (POCL) planner loosely based on UCPOP. It draws from the experience gained in the early to mid 1990's on flaw selection…”
Get full text

Structured control for autonomous robots by Simmons, R.G.

“…To operate in rich, dynamic environments, autonomous robots must be able to effectively utilize and coordinate their limited physical and computational…”
Get full text

An elastic force based collision avoidance method and its application to motion coordination of multiple robots by Seo, Dong Jin, Ko, Nak Yong, Simmons, Reid G.

“…A key contribution of robots to a manufacturing system is flexibility and automation. The robots can handle part batches of varying size and mix and can adapt…”
Get full text

The effect of representation and knowledge on goal-directed exploration with reinforcement-learning algorithms by Koenig, Sven, Simmons, Reid G.

Get full text

Concurrent planning and execution for autonomous robots by Simmons, R.G.

“…The task control architecture (TCA) provides communication and coordination facilities to construct distributed, concurrent robotic systems. The use of TCA in…”
Get full text

Unsupervised learning of probabilistic models for robot navigation by Koenig, S., Simmons, R.G.

“…Navigation methods for office delivery robots need to take various sources of uncertainty into account in order to get robust performance. In previous work, we…”
Get full text

Stereo vision based navigation for Sun-synchronous exploration by Urmson, C.P., Dias, M.B., Simmons, R.G.

“…This paper describes the navigation system used on a prototype sun-synchronous robot. Sun-synchrony is a concept that will enable exploration missions by…”
Get full text