Designing Reactive Robot Controllers with LTLMoP.
Cameron Finucane, Gangyuan Jing, Hadas Kress-Gazit
VenueA*AAAI
Year2011
ProceedingsAutomated Action Planning for Autonomous Mobile Robots
DBLP recordconf/aaai/FinucaneJK11 ↗
Browse the full AAAI paper archive.