{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,19]],"date-time":"2024-11-19T17:48:47Z","timestamp":1732038527945,"version":"3.28.0"},"reference-count":27,"publisher":"IEEE","license":[{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2019,6,1]],"date-time":"2019-06-01T00:00:00Z","timestamp":1559347200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019,6]]},"DOI":"10.1109\/ivs.2019.8814167","type":"proceedings-article","created":{"date-parts":[[2019,8,29]],"date-time":"2019-08-29T21:11:26Z","timestamp":1567113086000},"page":"185-192","source":"Crossref","is-referenced-by-count":13,"title":["Backpropagation for Parametric STL"],"prefix":"10.1109","author":[{"given":"Karen","family":"Leung","sequence":"first","affiliation":[]},{"given":"Nikos","family":"Arechiga","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Pavone","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_15"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883843"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562146"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_12"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3178126.3178132"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"ref16","article-title":"Compositional and contract-based verification for autonomous driving on road networks","author":"liebenwein","year":"2017","journal-title":"International Symposium on Robotics Research"},{"key":"ref17","volume":"1702 7360","author":"balestriero","year":"2017","journal-title":"Neural decision trees"},{"key":"ref18","volume":"1806 6988","author":"yang","year":"2018","journal-title":"Deep neural decision trees"},{"key":"ref19","article-title":"Scaling up dynamic time warping for data-mining applications","author":"keogh","year":"2000","journal-title":"ACM SIGKDD International Conference on Knowledge Discovery and Data Mining"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963711"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2018.8460766"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039363"},{"key":"ref6","article-title":"Multi-objective optimal control for proactive decision-making with temporal logic models","author":"chinchali","year":"2018","journal-title":"International Journal of Robotics Research"},{"key":"ref5","article-title":"Safe control under uncertainty with probabilistic signal temporal logic","author":"sadigh","year":"2017","journal-title":"Robotics Science and Systems"},{"journal-title":"Q - Learning for Robust Satisfaction of Signal Temporal Logic Specifications","year":"2014","author":"aksaray","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2017.8206234"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431181"},{"key":"ref1","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-016-0261-8"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1997.9.8.1735"},{"journal-title":"On Automatic Differentiation","year":"2017","author":"paszke","key":"ref21"},{"key":"ref24","first-page":"128","article-title":"Recent development and applications of SUMO - Simulation of Urban MObility","volume":"5","author":"krajzewicz","year":"2012","journal-title":"International Journal on Advances in Systems and Measurements"},{"key":"ref23","article-title":"An effective learning method for max-min neural networks","author":"teow","year":"1997","journal-title":"International Joint Conference on Artificial Intelligence"},{"key":"ref26","article-title":"Lane-changing model in sumo","author":"erdmann","year":"2014","journal-title":"Proceedings of the SUMO2014 Modeling Mobility with Open Data"},{"key":"ref25","first-page":"5","article-title":"Metastable states in a microscopic model of traffic flow","volume":"55","author":"kraub","year":"1997","journal-title":"Physical Review"}],"event":{"name":"2019 IEEE Intelligent Vehicles Symposium (IV)","start":{"date-parts":[[2019,6,9]]},"location":"Paris, France","end":{"date-parts":[[2019,6,12]]}},"container-title":["2019 IEEE Intelligent Vehicles Symposium (IV)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8792328\/8813768\/08814167.pdf?arnumber=8814167","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,14]],"date-time":"2022-07-14T23:19:12Z","timestamp":1657840752000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8814167\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,6]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/ivs.2019.8814167","relation":{},"subject":[],"published":{"date-parts":[[2019,6]]}}}