{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T09:51:15Z","timestamp":1725443475406},"reference-count":21,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,11]]},"DOI":"10.1109\/sbr-lars-r.2017.8215336","type":"proceedings-article","created":{"date-parts":[[2017,12,22]],"date-time":"2017-12-22T01:11:54Z","timestamp":1513905114000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Counterexample guided inductive optimization applied to mobile robots path planning"],"prefix":"10.1109","author":[{"given":"Rodrigo F.","family":"Araujo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexandre","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Iury V.","family":"Bessa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lucas C.","family":"Cordeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joao E. C.","family":"Filho","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2016.10.313"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1080\/01691864.2016.1240627"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1155\/2016\/7426913"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/SBESC.2016.010"},{"key":"ref14","first-page":"1","author":"araujo","year":"2017","journal-title":"Counterexample guided inductive optimization"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/0898-1221(91)90155-W"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/s10617-015-9163-z"},{"journal-title":"Principles of Model Checking","year":"2008","author":"baier","key":"ref17"},{"key":"ref18","first-page":"457","article-title":"Bounded model checking","author":"biere","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref19","first-page":"825885","article-title":"Satisfiability modulo theories","author":"barrett","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2015.2510798"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/AFRCON.2011.6072032"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)41463-7"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2016.12.008"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2013.11.004"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1142\/S0218213017600089"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2013.03.060"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijdrr.2015.07.009"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.asoc.2017.03.035"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.59"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2013.6679385"}],"event":{"name":"2017 Latin-American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR)","start":{"date-parts":[[2017,11,8]]},"location":"Curitiba","end":{"date-parts":[[2017,11,11]]}},"container-title":["2017 Latin American Robotics Symposium (LARS) and 2017 Brazilian Symposium on Robotics (SBR)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8168942\/8215260\/08215336.pdf?arnumber=8215336","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T22:40:00Z","timestamp":1516660800000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8215336\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,11]]},"references-count":21,"URL":"https:\/\/doi.org\/10.1109\/sbr-lars-r.2017.8215336","relation":{},"subject":[],"published":{"date-parts":[[2017,11]]}}}