<--- Back to Details
First PageDocument Content
Theoretical computer science / Robot kinematics / Constraint programming / NP-complete problems / Motion planning / Pursuit-evasion / Satisfiability modulo theories / Automated planning and scheduling / Liveness
Date: 2016-07-08 17:59:42
Theoretical computer science
Robot kinematics
Constraint programming
NP-complete problems
Motion planning
Pursuit-evasion
Satisfiability modulo theories
Automated planning and scheduling
Liveness

International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer

Add to Reading List

Source URL: www.neil.dantam.name

Download Document from Source Website

File Size: 1,16 MB

Share Document on Facebook

Similar Documents

MPC-Based Humanoid Pursuit-Evasion in the Presence of Obstacles

MPC-Based Humanoid Pursuit-Evasion in the Presence of Obstacles

DocID: 1uBEf - View Document

Pursuit evasion on infinite graphs Florian Lehner∗ January 11, 2016 The cop-and-robber game is a game between two players, where one tries to catch the other by moving along the edges of a graph. It is well known

Pursuit evasion on infinite graphs Florian Lehner∗ January 11, 2016 The cop-and-robber game is a game between two players, where one tries to catch the other by moving along the edges of a graph. It is well known

DocID: 1u8zh - View Document

CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014  Pursuit and Evasion with Uncertain Bearing Measurements Josh Vander Hook and Volkan Isler∗  Abstract

CCCG 2014, Halifax, Nova Scotia, August 11–13, 2014 Pursuit and Evasion with Uncertain Bearing Measurements Josh Vander Hook and Volkan Isler∗ Abstract

DocID: 1t581 - View Document

International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer

International Conference on Automated Planning and Scheduling (ICAPSTask and Motion Policy Synthesis as Liveness Games Yue Wang and Neil T. Dantam and Swarat Chaudhuri and Lydia E. Kavraki Department of Computer

DocID: 1rgIf - View Document

BEN Assets Business Process/Procedure Template

BEN Assets Business Process/Procedure Template

DocID: 1qwg1 - View Document