{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T23:48:14Z","timestamp":1729640894648,"version":"3.28.0"},"reference-count":29,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1109\/cdc.2016.7799298","type":"proceedings-article","created":{"date-parts":[[2017,1,5]],"date-time":"2017-01-05T17:11:18Z","timestamp":1483636278000},"page":"6683-6688","source":"Crossref","is-referenced-by-count":22,"title":["Scalable lazy SMT-based motion planning"],"prefix":"10.1109","author":[{"given":"Yasser","family":"Shoukry","sequence":"first","affiliation":[]},{"given":"Pierluigi","family":"Nuzzo","sequence":"additional","affiliation":[]},{"given":"Indranil","family":"Saha","sequence":"additional","affiliation":[]},{"given":"Alberto L.","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Tabuada","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-2(5:5)2006"},{"key":"ref11","first-page":"333","article-title":"Specification-guided controller synthesis for linear systems and safe linear-time temporal logic","author":"rungger","year":"2013","journal-title":"Proc Int Conf Hybrid Systems Computation and Control"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1715"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"ref14","first-page":"2222","article-title":"Sampling-based motion planning with deterministic $\\mu$-calculus specifications","author":"karaman","year":"2009","journal-title":"Proc IEEE Conf Decision and Control"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"ref16","first-page":"3743","article-title":"An efficient retraction-based rrt planner","author":"zhang","year":"2008","journal-title":"IEEE Int Conf Robotics and Automation"},{"journal-title":"Satisfiability Modulo Theories in Handbook of Satisfiability","year":"2009","author":"barrett","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980268"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2105730"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"59","DOI":"10.3233\/SAT190075","article-title":"The Sat4j library, release 2.2","volume":"7","author":"berre","year":"2010","journal-title":"Journal on Satisfiability Boolean Modeling and Computation"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.08.008"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2007.339624"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2195811"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1177\/02783640122067453"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2009.2030225"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2014.6942758"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2013.2295764"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2006.886494"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.3233\/AIC-150682"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2012.6426643"},{"article-title":"Scalable Motion Planning from LTL Specifications Using Satisfiability Modulo Convex Optimization","year":"2016","author":"shoukry","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45061-0_69"},{"article-title":"Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach","year":"2014","author":"shoukry","key":"ref24"},{"key":"ref23","first-page":"71","article-title":"CalCS: SMT solving for non-linear convex constraints","author":"nuzzo","year":"2010","journal-title":"Int Conf Formal Methods in Computer-Aided Design"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2015.7402810"},{"key":"ref25","article-title":"Imhotep-SMT: A Satisfiability Modulo Theory Solver for Secure State Estimation","author":"shoukry","year":"2015","journal-title":"Proceedings of the 8th International Workshop on Satisfiability Modulo Theories"}],"event":{"name":"2016 IEEE 55th Conference on Decision and Control (CDC)","start":{"date-parts":[[2016,12,12]]},"location":"Las Vegas, NV, USA","end":{"date-parts":[[2016,12,14]]}},"container-title":["2016 IEEE 55th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7786694\/7798233\/07799298.pdf?arnumber=7799298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,20]],"date-time":"2022-07-20T19:41:45Z","timestamp":1658346105000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7799298\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,12]]},"references-count":29,"URL":"https:\/\/doi.org\/10.1109\/cdc.2016.7799298","relation":{},"subject":[],"published":{"date-parts":[[2016,12]]}}}