Sciweavers

282 search results - page 30 / 57
» Reactive Environments
Sort
View
73
Voted
FLAIRS
1998
14 years 11 months ago
Learning to Race: Experiments with a Simulated Race Car
Our focus is on designing adaptable agents for highly dynamic environments. Wehave implementeda reinforcement learning architecture as the reactive componentof a twolayer control ...
Larry D. Pyeatt, Adele E. Howe
ICRA
2007
IEEE
138views Robotics» more  ICRA 2007»
15 years 4 months ago
Where's Waldo? Sensor-Based Temporal Logic Motion Planning
— Given a robot model and a class of admissible environments, this paper provides a framework for automatically and verifiably composing controllers that satisfy high level task...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
SETN
2004
Springer
15 years 3 months ago
Integrating miniMin-HSP Agents in a Dynamic Simulation Framework
Abstract. In this paper, we describe the framework created for implementing AI-based animations for artificial actors in the context of IVE (Intelligent Virtual Environments). The...
Miguel Lozano, Francisco Grimaldo, Fernando Barber
JSS
2006
99views more  JSS 2006»
14 years 10 months ago
Automatic generation of assumptions for modular verification of software specifications
Model checking is a powerful automated technique mainly used for the verification of properties of reactive systems. In practice, model checkers are limited due to the state explos...
Claudio de la Riva, Javier Tuya
66
Voted
ICRA
2010
IEEE
182views Robotics» more  ICRA 2010»
14 years 8 months ago
Ground robot navigation using uncalibrated cameras
Abstract— Precise calibration of camera intrinsic and extrinsic parameters, while often useful, is difficult to obtain during field operation and presents scaling issues for mu...
Olivier Koch, Matthew R. Walter, Albert S. Huang, ...