Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE)

@article{Lahijanian2009AutomaticDO,
  title={Automatic deployment of autonomous cars in a Robotic Urban-Like Environment (RULE)},
  author={Morteza Lahijanian and Marius Kloetzer and Sara Itani and Calin Belta and Sean B. Andersson},
  journal={2009 IEEE International Conference on Robotics and Automation},
  year={2009},
  pages={2055-2060}
}
We present a computational framework and experimental setup for deployment of autonomous cars in a miniature Robotic Urban-Like Environment (RULE). The specifications are given in rich, human-like language as temporal logic statements about roads, intersections, and parking spaces. We use transition systems to model the motion and sensing capabilities of the robots and the topology of the environment and use tools resembling model checking to generate robot control strategies and to verify the… CONTINUE READING
Highly Cited
This paper has 18 citations. REVIEW CITATIONS

Citations

Publications citing this paper.
Showing 1-9 of 9 extracted citations

Similar Papers

Loading similar papers…