{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T21:16:40Z","timestamp":1768339000574,"version":"3.49.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T00:00:00Z","timestamp":1765238400000},"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":[[2025,12,9]]},"DOI":"10.1109\/cdc57313.2025.11312103","type":"proceedings-article","created":{"date-parts":[[2026,1,12]],"date-time":"2026-01-12T18:19:56Z","timestamp":1768241996000},"page":"5034-5040","source":"Crossref","is-referenced-by-count":1,"title":["Maximally Resilient Controllers under Temporal Logic Specifications"],"prefix":"10.1109","author":[{"given":"Youssef Ait","family":"Si","sequence":"first","affiliation":[{"name":"University Mohammed VI Polytechnic,College of Computing,Benguerir,Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ratnangshu","family":"Das","sequence":"additional","affiliation":[{"name":"IISc,The Robert Bosch Centre for Cyber-Physical Systems,Bangalore,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Negar","family":"Monir","sequence":"additional","affiliation":[{"name":"Newcastle University,Newcastle Upon Tyne,United Kingdom"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sadegh","family":"Soudjani","sequence":"additional","affiliation":[{"name":"Max Planck Institute for Software Systems,Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pushpak","family":"Jagtap","sequence":"additional","affiliation":[{"name":"IISc,The Robert Bosch Centre for Cyber-Physical Systems,Bangalore,India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adnane","family":"Saoud","sequence":"additional","affiliation":[{"name":"University Mohammed VI Polytechnic,College of Computing,Benguerir,Morocco"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.3390\/s21165397"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.1823"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.35833\/MPCE.2021.000257"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.06.021"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2007.914952"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2015.7447084"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2020.3010490"},{"key":"ref8","volume-title":"Spatiotemporal tubes based controller synthesis against omega-regular specifications for unknown systems","author":"Das","year":"2025"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.ejcon.2025.101296"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/HSI.2009.5091051"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2011.6161031"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587119"},{"key":"ref13","author":"Monir","year":"2025","journal-title":"Computation of feasible assume-guarantee contracts: A resilience-based approach"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/CDC49753.2023.10384033"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/tac.2025.3626611"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2013.2248256"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/189"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/b98874"},{"key":"ref19","volume-title":"Theory of linear and integer programming","author":"Schrijver","year":"1999"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-024-02074-3"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-019-01446-4"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2018.8619099"}],"event":{"name":"2025 IEEE 64th Conference on Decision and Control (CDC)","location":"Rio de Janeiro, Brazil","start":{"date-parts":[[2025,12,9]]},"end":{"date-parts":[[2025,12,12]]}},"container-title":["2025 IEEE 64th Conference on Decision and Control (CDC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11311984\/11311968\/11312103.pdf?arnumber=11312103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,13]],"date-time":"2026-01-13T08:18:58Z","timestamp":1768292338000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11312103\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/cdc57313.2025.11312103","relation":{},"subject":[],"published":{"date-parts":[[2025,12,9]]}}}