{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T06:08:08Z","timestamp":1776751688312,"version":"3.51.2"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1109\/icra.2018.8460811","type":"proceedings-article","created":{"date-parts":[[2018,9,21]],"date-time":"2018-09-21T18:28:03Z","timestamp":1537554483000},"page":"7322-7329","source":"Crossref","is-referenced-by-count":19,"title":["Learning-Based Model Predictive Control Under Signal Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Kyunghoon","family":"Cho","sequence":"first","affiliation":[]},{"given":"Songhwai","family":"Oh","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78929-1_23"},{"key":"ref11","first-page":"5319","article-title":"Optimization-based control of nonlinear systems with linear temporal logic specifications","author":"wolff","year":"2014","journal-title":"Proc of the IEEE Conference on Robotics and Automation"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2017.2727514"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref14","author":"sadigh","year":"2015","journal-title":"Safe control under uncertainty"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2013.02.003"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2014.6907444"},{"key":"ref17","article-title":"Deepmpc: Learning deep latent features for model predictive control","author":"lenz","year":"2015","journal-title":"Robotics Science and Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562146"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760374"},{"key":"ref4","first-page":"152","article-title":"Monitoring temporal properties of continuous signals","volume":"3253","author":"maler","year":"2004","journal-title":"FORMATS\/FTRTFT"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1015330.1015430"},{"key":"ref6","doi-asserted-by":"crossref","DOI":"10.1109\/ROBOT.2005.1570410","article-title":"Temporal logic motion planning for mobile robots","author":"fainekos","year":"2005","journal-title":"Proc of the IEEE International Conference on Robotics and Automation"},{"key":"ref5","first-page":"92","article-title":"Robust satisfaction of temporal logic over real-valued signals","volume":"6246","author":"donz\u00e9","year":"2010","journal-title":"FORMATS"},{"key":"ref8","article-title":"Receding horizon temporal logic planning for dynamical systems","author":"wongpiromsarn","year":"2009","journal-title":"Proc of the IEEE Conference on Decision and Control"},{"key":"ref7","article-title":"Complex mission optimization for multiple-uavs using linear temporal logic","author":"karaman","year":"2008","journal-title":"Proc of the IEEE American Control Conference"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/HUMANOIDS.2013.7029990"},{"key":"ref1","author":"camacho","year":"2013","journal-title":"Model Predictive Control"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2008.4739370"},{"key":"ref20","first-page":"1436","article-title":"A learning-based framework for handling dilemmas in urban automated driving","author":"lee","year":"2017","journal-title":"Proc of the IEEE Conference on Robotics and Automation"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CACSD.2004.1393890"},{"key":"ref21","volume":"1","author":"rasmussen","year":"2006","journal-title":"Gaussian Processes for Machine Learning"},{"key":"ref24","article-title":"Us highway 101 dataset","author":"colyar","year":"2007","journal-title":"US Highway 101 Dataset FHWA-HRT-07–030"},{"key":"ref23","author":"optimization","year":"2014","journal-title":"Inc gurobi optimizer reference manual"}],"event":{"name":"2018 IEEE International Conference on Robotics and Automation (ICRA)","location":"Brisbane, QLD","start":{"date-parts":[[2018,5,21]]},"end":{"date-parts":[[2018,5,25]]}},"container-title":["2018 IEEE International Conference on Robotics and Automation (ICRA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8449910\/8460178\/08460811.pdf?arnumber=8460811","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,23]],"date-time":"2020-08-23T21:40:46Z","timestamp":1598218846000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8460811\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/icra.2018.8460811","relation":{},"subject":[],"published":{"date-parts":[[2018,5]]}}}