{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,10]],"date-time":"2026-07-10T18:44:35Z","timestamp":1783709075752,"version":"3.55.0"},"reference-count":27,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/lics.2017.8005096","type":"proceedings-article","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T16:43:24Z","timestamp":1502383404000},"page":"1-12","source":"Crossref","is-referenced-by-count":9,"title":["On delay and regret determinization of max-plus automata"],"prefix":"10.1109","author":[{"given":"Emmanuel","family":"Filiot","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ismael","family":"Jecker","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nathan","family":"Lhote","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Guillermo A.","family":"Perez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Francois","family":"Raskin","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","first-page":"589","article-title":"Deciding unambiguity and sequentiality of polynomially ambiguous min-plus automata","volume":"3","author":"kirsten","year":"2009","journal-title":"STACS Ser LIPIcs"},{"key":"ref11","article-title":"Finite-state transducers in language and speech processing","volume":"23","author":"mohri","year":"1997","journal-title":"Computational Linguistics"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.02.005"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s00224-015-9643-3"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(01)00214-6"},{"key":"ref15","first-page":"621","article-title":"On the decomposition of k-valued rational relations","volume":"1","author":"sakarovitch","year":"2008","journal-title":"STACS Ser LIPIcs"},{"key":"ref16","first-page":"1","article-title":"Reactive synthesis without regret","author":"hunter","year":"2016","journal-title":"Acta Informatica"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/11874683_26"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1721837.1721844"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47666-6_24"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-55719-9_67"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.2168\/LMCS-4(3:12)2008"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-32940-1_11"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_37"},{"key":"ref5","author":"daviaud","year":"2016","journal-title":"Comparison of max-plus automata and joint spectral radius of tropical matrices"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15375-4_19"},{"key":"ref7","first-page":"133","article-title":"Finite-valued weighted automata","author":"filiot","year":"2014","journal-title":"FSTTCS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1805950.1805953"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2007.02.055"},{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-01492-5","author":"droste","year":"2009","journal-title":"Handbook of Weighted Automata"},{"key":"ref20","first-page":"33","article-title":"Infinite runs in weighted timed automata with energy constraints","author":"bouyer","year":"2008","journal-title":"FORMATS ser LNCS 5215"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-47666-6_36"},{"key":"ref21","first-page":"125;1","article-title":"On equivalence and uniformisation problems for finite transducers","volume":"55","author":"filiot","year":"2016","journal-title":"ICALP ser LIPIcs"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-010-0105-x"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45212-6_9"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511973468"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.146.11"}],"event":{"name":"2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)","location":"Reykjavik, Iceland","start":{"date-parts":[[2017,6,20]]},"end":{"date-parts":[[2017,6,23]]}},"container-title":["2017 32nd Annual ACM\/IEEE Symposium on Logic in Computer Science (LICS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7999337\/8005055\/08005096.pdf?arnumber=8005096","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,2]],"date-time":"2019-10-02T03:39:01Z","timestamp":1569987541000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8005096\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":27,"URL":"https:\/\/doi.org\/10.1109\/lics.2017.8005096","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}