{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T02:34:00Z","timestamp":1771468440590,"version":"3.50.1"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,5]]},"DOI":"10.23919\/ecc51009.2020.9143743","type":"proceedings-article","created":{"date-parts":[[2020,10,7]],"date-time":"2020-10-07T20:06:49Z","timestamp":1602101209000},"page":"2007-2014","source":"Crossref","is-referenced-by-count":10,"title":["A generalized Bellman-Ford Algorithm for Application in Symbolic Optimal Control"],"prefix":"10.23919","author":[{"given":"Alexander","family":"Weber","sequence":"first","affiliation":[]},{"given":"Marcus","family":"Kreuzer","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Knoll","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-0224-5"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2593947"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3302504.3311798"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2019.8814850"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-59042-0_76"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2011.08.007"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2012.02.037"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619659"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2013.6760370"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2018.2863178"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2012.6314891"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1090\/qam\/102435"},{"key":"ref13","article-title":"Network flow theory","volume-title":"Tech. Rep","author":"Ford","year":"1956"},{"key":"ref14","first-page":"285","article-title":"The shortest path through a maze","volume-title":"Proc. Int. Symp. on the Theory of Switching","author":"Moore"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2015.2485994"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1755952.1755969"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883834"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798408"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1137\/0215029"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10957-007-9312-z"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2011.2118950"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/AUCC.2013.6697248"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1090\/qam\/253822"},{"key":"ref25","volume-title":"Introduction to algorithms","author":"Cormen","year":"2009"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2014.45"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611973020.6"},{"key":"ref28","article-title":"Methoden zur Effizienzsteigerung abstraktionsbasierter Reglerentwurfsverfahren","volume-title":"Dissertation","author":"Weber","year":"2018"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.3934\/dcdsb.2009.11.365"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICAR.2017.8023625"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICCA.2016.7505253"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2018.2867614"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24743-2_25"},{"key":"ref34","article-title":"Linux programmer\u2019s manual"}],"event":{"name":"2020 European Control Conference (ECC)","location":"Saint Petersburg, Russia","start":{"date-parts":[[2020,5,12]]},"end":{"date-parts":[[2020,5,15]]}},"container-title":["2020 European Control Conference (ECC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9137088\/9143588\/09143743.pdf?arnumber=9143743","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,24]],"date-time":"2024-01-24T00:57:35Z","timestamp":1706057855000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9143743\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,5]]},"references-count":34,"URL":"https:\/\/doi.org\/10.23919\/ecc51009.2020.9143743","relation":{},"subject":[],"published":{"date-parts":[[2020,5]]}}}