{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T10:36:44Z","timestamp":1770287804740,"version":"3.49.0"},"reference-count":31,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,5,31]],"date-time":"2023-05-31T00:00:00Z","timestamp":1685491200000},"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":[[2023,5,31]]},"DOI":"10.23919\/acc55779.2023.10156544","type":"proceedings-article","created":{"date-parts":[[2023,7,3]],"date-time":"2023-07-03T17:48:03Z","timestamp":1688406483000},"page":"1446-1452","source":"Crossref","is-referenced-by-count":7,"title":["Learning Minimally-Violating Continuous Control for Infeasible Linear Temporal Logic Specifications"],"prefix":"10.23919","author":[{"given":"Mingyu","family":"Cai","sequence":"first","affiliation":[{"name":"Lehigh University,Mechanical Engineering,Bethlehem,PA,USA,18015"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Makai","family":"Mann","sequence":"additional","affiliation":[{"name":"MIT Lincoln Laboratory,Lexington,MA,USA,02421"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zachary","family":"Serlin","sequence":"additional","affiliation":[{"name":"MIT Lincoln Laboratory,Lexington,MA,USA,02421"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kevin","family":"Leahy","sequence":"additional","affiliation":[{"name":"MIT Lincoln Laboratory,Lexington,MA,USA,02421"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cristian-Ioan","family":"Vasile","sequence":"additional","affiliation":[{"name":"Lehigh University,Mechanical Engineering,Bethlehem,PA,USA,18015"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","author":"Sutton","year":"2018","journal-title":"Reinforcement learning: An introduction."},{"key":"ref2","first-page":"1861","article-title":"Soft actor-critic: Off-policy maximum entropy deep reinforcement learning with a stochastic actor","volume-title":"Intl Conference on Machine Learning","author":"Haarnoja"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2014.7039527"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/IROS47612.2022.9981759"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA48506.2021.9561903"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2021.3101544"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/LRA.2023.3246844"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2461328.2461330"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2016.2544339"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989177"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1177\/0278364919856695"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341412"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.23919\/ACC50511.2021.9483174"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1177\/0278364915587034"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1177\/0278364914546174"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3138704"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3006967"},{"issue":"1","key":"ref19","first-page":"3483","article-title":"Multi-objective reinforcement learning using sets of pareto dominating policies","volume":"15","author":"Van Moffaert","year":"2014","journal-title":"The Journal of Machine Learning Research"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(02)00186-7"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2017.2668380"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2021.3059838"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TRO.2021.3061983"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1177\/0278364920918919"},{"key":"ref25","first-page":"1","article-title":"Theory of ordinary differential equations","author":"Coddington","year":"1955","journal-title":"McGraw-Hill"},{"key":"ref26","volume-title":"Principles of model checking.","author":"Baier","year":"2008"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1126\/scirobotics.aay6276"},{"key":"ref28","first-page":"322","article-title":"An automata-theoretic approach to automatic program verification","volume-title":"1st Symposium on Logic in Computer Science","author":"Vardi"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1177\/0278364911406761"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1758"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.23919\/ACC55779.2023.10156544"}],"event":{"name":"2023 American Control Conference (ACC)","location":"San Diego, CA, USA","start":{"date-parts":[[2023,5,31]]},"end":{"date-parts":[[2023,6,2]]}},"container-title":["2023 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10155646\/10155787\/10156544.pdf?arnumber=10156544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,12]],"date-time":"2024-01-12T02:19:20Z","timestamp":1705025960000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10156544\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,5,31]]},"references-count":31,"URL":"https:\/\/doi.org\/10.23919\/acc55779.2023.10156544","relation":{},"subject":[],"published":{"date-parts":[[2023,5,31]]}}}