{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:31:41Z","timestamp":1729657901478,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,7]]},"DOI":"10.1109\/fuzz-ieee.2017.8015456","type":"proceedings-article","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T16:55:37Z","timestamp":1503593737000},"page":"1-6","source":"Crossref","is-referenced-by-count":9,"title":["A fuzzy approach to qualification in design exploration for autonomous robots and systems"],"prefix":"10.1109","author":[{"given":"Jeremy","family":"Morse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dejanira","family":"Araiza-Illan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kerstin","family":"Eder","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonathan","family":"Lawry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arthur","family":"Richards","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal-logic-based reactive mission and motion planning","volume":"25","author":"kress-gazit","year":"2009","journal-title":"IEEE Transactions on Robotics"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2013.6579837"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562128"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/2248418.2248436"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1029894.1029905"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ReRunTime.2011.6046244"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.36"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0101-0"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2629376"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"ref4","first-page":"1","article-title":"Toward reliable autonomous robotic assistants through formal verification: A case study","author":"webster","year":"2015","journal-title":"IEEE Transactions on Human-Machine Systems"},{"key":"ref3","first-page":"1","article-title":"Software engineering for self-adaptive systems","author":"cheng","year":"2009","journal-title":"Software Engineering for Self-adaptive Systems A Research Roadmap"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-40379-3_3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-41540-6_1"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2330667.2330686"},{"key":"ref7","first-page":"108","author":"tamura","year":"2013","journal-title":"Software Engineering for Self-Adaptive Systems II International Seminar"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"ref1","first-page":"585","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"Proc CAV"},{"key":"ref9","article-title":"Pareto curves for probabilistic model checking","author":"forejt","year":"2012","journal-title":"Proc ATVA"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/TSMC.1985.6313393"}],"event":{"name":"2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)","start":{"date-parts":[[2017,7,9]]},"location":"Naples, Italy","end":{"date-parts":[[2017,7,12]]}},"container-title":["2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8011834\/8015374\/08015456.pdf?arnumber=8015456","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T15:48:37Z","timestamp":1570031317000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8015456\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,7]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/fuzz-ieee.2017.8015456","relation":{},"subject":[],"published":{"date-parts":[[2017,7]]}}}