{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T15:03:18Z","timestamp":1761663798575,"version":"3.28.0"},"reference-count":35,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,6]]},"DOI":"10.1109\/icca.2018.8444174","type":"proceedings-article","created":{"date-parts":[[2018,9,7]],"date-time":"2018-09-07T14:50:55Z","timestamp":1536331855000},"page":"1022-1027","source":"Crossref","is-referenced-by-count":7,"title":["A Symbolic Approach for Multi-target Dynamic Reach-avoid Problem"],"prefix":"10.1109","author":[{"given":"Laya","family":"Shamgah","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tadewos G.","family":"Tadewos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ali","family":"Karimoddini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdollah","family":"Homaifar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"364","article-title":"Synthesis of reactive \n(1)\n\n designs, in: Verification, Model Checking, and Abstract Interpretation","author":"piterman","year":"2006","journal-title":"Springer"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-88074-1.50021-4"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/j.mechatronics.2013.07.004"},{"key":"ref35","first-page":"1370","article-title":"Temporal-logic-based reactive mission and motion planning, Robotics","volume":"25","author":"kress-gazit","year":"2009","journal-title":"IEEE Transactions"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref10","first-page":"224","article-title":"Numerical potential field techniques for robot path planning, Systems, Man and Cybernetics","volume":"22","author":"barraquand","year":"1992","journal-title":"IEEE Transactions"},{"key":"ref11","doi-asserted-by":"crossref","first-page":"3","DOI":"10.3233\/AIC-1993-6101","article-title":"From geometric motion planning to neural motor control in robotics","volume":"6","author":"torras","year":"1993","journal-title":"AI communications"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(84)90073-8"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912452894"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1142\/S0218195999000273"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0278364906065023"},{"key":"ref16","first-page":"27","article-title":"A modern approach, Artificial Intelligence","volume":"25","author":"russell","year":"1995","journal-title":"Prentice-Hall Englewood Cliffs"},{"journal-title":"Probabilistic Robotics","year":"2005","author":"thrun","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2011.5980257"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/359156.359164"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6579964"},{"key":"ref4","first-page":"1","article-title":"Unmanned surface vehicles","author":"manley","year":"2008","journal-title":"15 years of development OCEANS 2008"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1002\/asjc.1027"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1080\/00207179.2014.889853"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008984701078"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2013.6565125"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/48.838986"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2010.08.006"},{"key":"ref7","first-page":"418","article-title":"Validating a hamilton-jacobi approximation to hybrid system reachable sets, in: HSCC","author":"mitchell","year":"2001","journal-title":"Springer"},{"key":"ref2","first-page":"163","article-title":"Towards fully autonomous driving: Systems and algorithms in: Intelligent Vehicles Symposium (IV)","author":"levinson","year":"2011","journal-title":"2011 IEEE"},{"key":"ref9","first-page":"6122","article-title":"Discrete time stochastic hybrid dynamical games: Verification & controller synthesis, in: Decision and Control and European Control Conference (CDC-ECC)","author":"kamgarpour","year":"2011","journal-title":"2011 50th IEEE Conference On IEEE"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2014.2321342"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1177\/027836498600500304"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"341","DOI":"10.3844\/jcssp.2008.341.344","article-title":"A mobile robot path planning using genetic algorithm in static environment","volume":"4","author":"ismail","year":"2008","journal-title":"Journal of Computer Science"},{"key":"ref21","first-page":"390","article-title":"Hidden markov model for dynamic obstacle avoidance of mobile robot navigation, Robotics and Automation","volume":"7","author":"zhu","year":"1991","journal-title":"IEEE Transactions"},{"key":"ref24","first-page":"1014","article-title":"Automation-assisted capture-the-flag: A differential game approach, Control Systems Technology","volume":"23","author":"huang","year":"2015","journal-title":"IEEE Transactions"},{"key":"ref23","first-page":"1451","article-title":"A differential game approach to planning in adversarial scenarios: A case study on capture-the-flag, in: Robotics and Automation (ICRA)","author":"huang","year":"2011","journal-title":"2011 IEEE International Conference on"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/5.871307"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/SMC.2016.7844851"}],"event":{"name":"2018 IEEE 14th International Conference on Control and Automation (ICCA)","start":{"date-parts":[[2018,6,12]]},"location":"Anchorage, AK","end":{"date-parts":[[2018,6,15]]}},"container-title":["2018 IEEE 14th International Conference on Control and Automation (ICCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8409887\/8444139\/08444174.pdf?arnumber=8444174","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T18:34:12Z","timestamp":1598207652000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8444174\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6]]},"references-count":35,"URL":"https:\/\/doi.org\/10.1109\/icca.2018.8444174","relation":{},"subject":[],"published":{"date-parts":[[2018,6]]}}}