4.6 Article

Correct, Reactive, High-Level Robot Control Mitigating the State Explosion Problem of Temporal Logic Synthesis

Journal

IEEE ROBOTICS & AUTOMATION MAGAZINE
Volume 18, Issue 3, Pages 65-74

Publisher

IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC
DOI: 10.1109/MRA.2011.942116

Keywords

Navigation; Intelligent transportation systems; Urban areas; US Department of Defense; Collision avoidance

Funding

  1. ARO MURI SUBTLE [W911NF-07-1-0216]
  2. AFOSR MURI [FA9550-06-1-0303]
  3. Boeing Corporation

Ask authors/readers for more resources

Authors

I am an author on this paper
Click your name to claim this paper and add it to your profile.

Reviews

Primary Rating

4.6
Not enough ratings

Secondary Ratings

Novelty
-
Significance
-
Scientific rigor
-
Rate this paper

Recommended

No Data Available
No Data Available