{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T14:25:35Z","timestamp":1760711135555,"version":"3.28.0"},"reference-count":26,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1109\/iros47612.2022.9981237","type":"proceedings-article","created":{"date-parts":[[2022,12,26]],"date-time":"2022-12-26T14:38:15Z","timestamp":1672065495000},"page":"12029-12036","source":"Crossref","is-referenced-by-count":5,"title":["Optimal Constrained Task Planning as Mixed Integer Programming"],"prefix":"10.1109","author":[{"given":"Alphonsus","family":"Adu-Bredu","sequence":"first","affiliation":[{"name":"Robotics Institute, University of Michigan,Department of Electrical Engineering and Computer Science,Ann Arbor,MI,USA"}]},{"given":"Nikhil","family":"Devraj","sequence":"additional","affiliation":[{"name":"Robotics Institute, University of Michigan,Department of Electrical Engineering and Computer Science,Ann Arbor,MI,USA"}]},{"given":"Odest Chadwicke","family":"Jenkins","sequence":"additional","affiliation":[{"name":"Robotics Institute, University of Michigan,Department of Electrical Engineering and Computer Science,Ann Arbor,MI,USA"}]}],"member":"263","reference":[{"key":"ref13","first-page":"57","article-title":"Ff : The fast-forward planning system","volume":"22","author":"hoffmann","year":"2001","journal-title":"AI Magazine"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1705"},{"key":"ref15","article-title":"Feedback control of the pusher-slider system: A story of hybrid and underactuated contact dynamics","author":"hogan","year":"2016","journal-title":"ArXiv Preprint"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1144"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TSSC.1968.300136"},{"journal-title":"Gurobi Optimization LLC L Gurobi optimizer reference manual","year":"2022","key":"ref10"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/IROS51168.2021.9636685"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.15607\/RSS.2020.XVI.047"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511546877"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1609\/icaps.v24i1.13648","article-title":"Optimal planning with global nu-merical state constraints","volume":"24","author":"ivankovic","year":"2014","journal-title":"Proceedings of the International Conference on Automated Planning and Scheduling"},{"key":"ref19","first-page":"206","article-title":"Generative planning for hybrid systems based on flow tubes","author":"li","year":"2008","journal-title":"ICAPS"},{"key":"ref18","volume":"154","author":"lee","year":"2011","journal-title":"Mixed integer nonlinear program-ming"},{"journal-title":"Mixed-Integer Convex Optimization for Planning Aggressive Motions of Legged Robots Over Rough Terrain","year":"2016","author":"valenzuela","key":"ref24"},{"key":"ref23","first-page":"1930","article-title":"Logic-geometric programming: An optimization-based approach to combined task and motion planning","author":"toussaint","year":"2015","journal-title":"IJCAI"},{"key":"ref26","article-title":"On the use of integer programming models in ai planning","author":"vossen","year":"1999","journal-title":"Technical Report"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1613\/jair.1698"},{"journal-title":"Agility Robotics Digit robot","year":"0","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6906922"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/21.141317"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1016\/0004-3702(71)90010-5","article-title":"Strips: A new approach to the application of theorem proving to problem solving","volume":"2","author":"fikes","year":"1971","journal-title":"Artificial Intelligence"},{"key":"ref7","article-title":"Optimal symbolic planning with action costs and preferences","author":"edelkamp","year":"2009","journal-title":"Twenty-First International Joint Conference on Artificial Intelligence"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1177\/0278364918802962"},{"journal-title":"Pyperplan","year":"2020","author":"alkhazraji","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3116327"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2014.7041373"},{"key":"ref5","first-page":"1636","article-title":"Fast planning through plan-ning graph analysis","volume":"90","author":"blum","year":"1995","journal-title":"Artificial Intelligence"}],"event":{"name":"2022 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)","start":{"date-parts":[[2022,10,23]]},"location":"Kyoto, Japan","end":{"date-parts":[[2022,10,27]]}},"container-title":["2022 IEEE\/RSJ International Conference on Intelligent Robots and Systems (IROS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9981026\/9981028\/09981237.pdf?arnumber=9981237","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T18:57:38Z","timestamp":1701370658000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9981237\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":26,"URL":"https:\/\/doi.org\/10.1109\/iros47612.2022.9981237","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]}}}