乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,11,15]],"date-time":"2024-11-15T05:07:16Z","timestamp":1731647236949,"version":"3.28.0"},"reference-count":399,"publisher":"Elsevier BV","license":[{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-017"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-012"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,1]],"date-time":"2024-01-01T00:00:00Z","timestamp":1704067200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-004"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62173226","62061136004","62173283"],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["elsevier.com","sciencedirect.com"],"crossmark-restriction":true},"short-container-title":["Annual Reviews in Control"],"published-print":{"date-parts":[[2024]]},"DOI":"10.1016\/j.arcontrol.2024.100940","type":"journal-article","created":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T12:05:39Z","timestamp":1710245139000},"page":"100940","update-policy":"http:\/\/dx.doi.org\/10.1016\/elsevier_cm_policy","source":"Crossref","is-referenced-by-count":2,"special_numbering":"C","title":["Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges"],"prefix":"10.1016","volume":"57","author":[{"ORCID":"http:\/\/orcid.org\/0000-0003-1944-1570","authenticated-orcid":false,"given":"Xiang","family":"Yin","sequence":"first","affiliation":[]},{"given":"Bingzhao","family":"Gao","sequence":"additional","affiliation":[]},{"given":"Xiao","family":"Yu","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"issue":"11","key":"10.1016\/j.arcontrol.2024.100940_b1","doi-asserted-by":"crossref","first-page":"2724","DOI":"10.1016\/j.automatica.2008.03.027","article-title":"Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems","volume":"44","author":"Abate","year":"2008","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100940_b2","doi-asserted-by":"crossref","unstructured":"Abbas, H., Hoxha, B., Fainekos, G., & Ueda, K. (2014). Robustness-guided temporal logic testing and verification for stochastic cyber-physical systems. In IEEE international conference on cyber technology in automation, control and intelligent systems (pp. 1\u20136).","DOI":"10.1109\/CYBER.2014.6917426"},{"key":"10.1016\/j.arcontrol.2024.100940_b3","doi-asserted-by":"crossref","unstructured":"Aksaray, D., Jones, A., Kong, Z., Schwager, M., & Belta, C. (2016). Q-learning for robust satisfaction of signal temporal logic specifications. In IEEE conference on decision and control (pp. 6565\u20136570).","DOI":"10.1109\/CDC.2016.7799279"},{"key":"10.1016\/j.arcontrol.2024.100940_b4","unstructured":"Alqahtani, S., Riley, I., Taylor, S., Gamble, R., & Mailler, R. (2018). MTL Robustness for Path Planning with A*. In International conference on autonomous agents and multiAgent systems (pp. 247\u2013255)."},{"key":"10.1016\/j.arcontrol.2024.100940_b5","doi-asserted-by":"crossref","unstructured":"Alqahtani, S., Taylor, S., Riley, I., Gamble, R., & Mailler, R. (2018). Predictive path planning algorithm using Kalman filters and MTL robustness. In IEEE international symposium on safety, security, and rescue robotics (pp. 1\u20137).","DOI":"10.1109\/SSRR.2018.8468646"},{"key":"10.1016\/j.arcontrol.2024.100940_b6","first-page":"2669","article-title":"Safe reinforcement learning via shielding","volume":"32","author":"Alshiekh","year":"2018"},{"year":"2015","series-title":"Principles of cyber-physical systems","author":"Alur","key":"10.1016\/j.arcontrol.2024.100940_b7"},{"key":"10.1016\/j.arcontrol.2024.100940_b8","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T. A., Kupferman, O., & Vardi, M. Y. (1998). Alternating refinement relations. In International conference on concurrency theory (pp. 163\u2013178).","DOI":"10.1007\/BFb0055622"},{"key":"10.1016\/j.arcontrol.2024.100940_b9","doi-asserted-by":"crossref","first-page":"616","DOI":"10.1016\/j.ic.2018.02.021","article-title":"Compositional and symbolic synthesis of reactive controllers for multi-agent systems","volume":"261","author":"Alur","year":"2018","journal-title":"Information and Computation"},{"key":"10.1016\/j.arcontrol.2024.100940_b10","doi-asserted-by":"crossref","unstructured":"Ames, A. D., Coogan, S., Egerstedt, M., Notomista, G., Sreenath, K., & Tabuada, P. (2019). Control barrier functions: Theory and applications. In European control conference (pp. 3420\u20133431).","DOI":"10.23919\/ECC.2019.8796030"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b11","doi-asserted-by":"crossref","first-page":"3861","DOI":"10.1109\/TAC.2016.2638961","article-title":"Control barrier function based quadratic programs for safety critical systems","volume":"62","author":"Ames","year":"2016","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b12","doi-asserted-by":"crossref","unstructured":"Andersson, S., & Dimarogonas, D. V. (2018). Human in the loop least violating robot control synthesis under metric interval temporal logic specifications. In European control conference (pp. 453\u2013458).","DOI":"10.23919\/ECC.2018.8550179"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b13","doi-asserted-by":"crossref","first-page":"2397","DOI":"10.1016\/j.ifacol.2017.08.432","article-title":"Control synthesis for multi-agent systems under metric interval temporal logic specifications","volume":"50","author":"Andersson","year":"2017","journal-title":"IFAC-PapersOnLine"},{"key":"10.1016\/j.arcontrol.2024.100940_b14","doi-asserted-by":"crossref","first-page":"651","DOI":"10.1146\/annurev-control-062420-090543","article-title":"Autonomy in surgical robotics","volume":"4","author":"Attanasio","year":"2021","journal-title":"Annual Review of Control, Robotics, and Autonomous Systems"},{"year":"2012","series-title":"Differential inclusions: Set-valued maps and viability theory, volume 264","author":"Aubin","key":"10.1016\/j.arcontrol.2024.100940_b15"},{"key":"10.1016\/j.arcontrol.2024.100940_b16","doi-asserted-by":"crossref","unstructured":"Aydin Gol, E., & Lazar, M. (2013). Temporal logic model predictive control for discrete-time systems. In ACM International conference on hybrid systems: Computation and control (pp. 343\u2013352).","DOI":"10.1145\/2461328.2461379"},{"year":"2022","series-title":"Distributed differentially private control synthesis for multi-agent systems with metric temporal logic specifications","author":"Baharisangari","key":"10.1016\/j.arcontrol.2024.100940_b17"},{"key":"10.1016\/j.arcontrol.2024.100940_b18","doi-asserted-by":"crossref","unstructured":"Baier, C., Clarke, E. M., Hartonas-Garmhausen, V., Kwiatkowska, M., & Ryan, M. (1997). Symbolic model checking for probabilistic processes. In International Colloquium on Automata, Languages, and Programming (pp. 430\u2013440).","DOI":"10.1007\/3-540-63165-8_199"},{"key":"10.1016\/j.arcontrol.2024.100940_b19","doi-asserted-by":"crossref","unstructured":"Baier, C., Gr\u00f6\u00dfer, M., Leucker, M., Bollig, B., & Ciesinski, F. (2004). Controller synthesis for probabilistic systems. In Exploring new frontiers of theoretical informatics: IFIP world computer congress (pp. 493\u2013506).","DOI":"10.1007\/1-4020-8141-3_38"},{"year":"2008","series-title":"Principles of model checking","author":"Baier","key":"10.1016\/j.arcontrol.2024.100940_b20"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b21","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1109\/TAC.2017.2722960","article-title":"Mode-target games: Reactive synthesis for control applications","volume":"63","author":"Balkan","year":"2017","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b22","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/j.entcs.2007.07.007","article-title":"Exogenous probabilistic computation tree logic","volume":"190","author":"Baltazar","year":"2007","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"10.1016\/j.arcontrol.2024.100940_b23","doi-asserted-by":"crossref","unstructured":"Banks, C., Wilson, S., Coogan, S., & Egerstedt, M. (2020). Multi-agent task allocation using cross-entropy temporal logic optimization. In IEEE international conference on robotics and automation (pp. 7712\u20137718).","DOI":"10.1109\/ICRA40945.2020.9197066"},{"key":"10.1016\/j.arcontrol.2024.100940_b24","doi-asserted-by":"crossref","unstructured":"Bansal, S., & Tomlin, C. J. (2021). Deepreach: A deep learning approach to high-dimensional reachability. In IEEE international conference on robotics and automation (pp. 1817\u20131824).","DOI":"10.1109\/ICRA48506.2021.9561949"},{"key":"10.1016\/j.arcontrol.2024.100940_b25","doi-asserted-by":"crossref","unstructured":"Barbosa, F. S., Lindemann, L., Dimarogonas, D. V., & Tumova, J. (2019). Integrated motion planning and control under metric interval temporal logic specifications. In European control conference (pp. 2042\u20132049).","DOI":"10.23919\/ECC.2019.8795925"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b26","doi-asserted-by":"crossref","first-page":"864","DOI":"10.1109\/TRO.2005.851359","article-title":"Discrete abstractions for robot motion planning and control in polygonal environments","volume":"21","author":"Belta","year":"2005","journal-title":"IEEE Transactions on Robotics"},{"key":"10.1016\/j.arcontrol.2024.100940_b27","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1146\/annurev-control-053018-023717","article-title":"Formal methods for control synthesis: An optimization perspective","volume":"2","author":"Belta","year":"2019","journal-title":"Annual Review of Control, Robotics, and Autonomous Systems"},{"year":"2017","series-title":"Formal methods for discrete-time dynamical systems","author":"Belta","key":"10.1016\/j.arcontrol.2024.100940_b28"},{"key":"10.1016\/j.arcontrol.2024.100940_b29","doi-asserted-by":"crossref","first-page":"102321","DOI":"10.1016\/j.scico.2019.102321","article-title":"Parallel parameter synthesis algorithm for hybrid CTL","volume":"185","author":"Bene\u0161","year":"2020","journal-title":"Science of Computer Programming"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b30","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1051\/ita:2002013","article-title":"Permissive strategies: From parity games to safety games","volume":"36","author":"Bernet","year":"2002","journal-title":"RAIRO-Theoretical Informatics and Applications"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b31","first-page":"1","article-title":"Strategy logic with imperfect information","volume":"22","author":"Berthon","year":"2021","journal-title":"ACM Transactions on Computational Logic"},{"key":"10.1016\/j.arcontrol.2024.100940_b32","doi-asserted-by":"crossref","unstructured":"Bhatia, A., Kavraki, L. E., & Vardi, M. Y. (2010). Sampling-based motion planning with temporal goals. In IEEE international conference on robotics and automation (pp. 2689\u20132696).","DOI":"10.1109\/ROBOT.2010.5509503"},{"key":"10.1016\/j.arcontrol.2024.100940_b33","doi-asserted-by":"crossref","unstructured":"Bonakdarpour, B., & Finkbeiner, B. (2020). Controller synthesis for hyperproperties. In IEEE computer security foundations symposium (pp. 366\u2013379).","DOI":"10.1109\/CSF49147.2020.00033"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b34","doi-asserted-by":"crossref","first-page":"4386","DOI":"10.1109\/LRA.2023.3280830","article-title":"Motion planning using hyperproperties for time window temporal logic","volume":"8","author":"Bonnah","year":"2023","journal-title":"IEEE Robotics and Automation Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b35","doi-asserted-by":"crossref","unstructured":"Bozkurt, A. K., Wang, Y., Zavlanos, M. M., & Pajic, M. (2020). Control synthesis from linear temporal logic specifications using model-free reinforcement learning. In IEEE international conference on robotics and automation (pp. 10349\u201310355).","DOI":"10.1109\/ICRA40945.2020.9196796"},{"key":"10.1016\/j.arcontrol.2024.100940_b36","doi-asserted-by":"crossref","unstructured":"Brenguier, R., Clemente, L., Hunter, P., P\u00e9rez, G. A., Randour, M., Raskin, J. -F., et al. (2016). Non-zero sum games for reactive synthesis. In International Conference on Language and automata theory and applications (pp. 3\u201323).","DOI":"10.1007\/978-3-319-30000-9_1"},{"key":"10.1016\/j.arcontrol.2024.100940_b37","doi-asserted-by":"crossref","unstructured":"Buyukkocak, A. T., Aksaray, D., & Yaz\u0131c\u0131o\u011flu, Y. (2022). Control barrier functions with actuation constraints under signal temporal logic specifications. In European control conference (pp. 162\u2013168).","DOI":"10.23919\/ECC55457.2022.9838028"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b38","doi-asserted-by":"crossref","first-page":"2158","DOI":"10.1109\/LRA.2023.3246844","article-title":"Overcoming exploration: Deep reinforcement learning for continuous control in cluttered environments from temporal logic specifications","volume":"8","author":"Cai","year":"2023","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b39","doi-asserted-by":"crossref","first-page":"7973","DOI":"10.1109\/LRA.2021.3101544","article-title":"Modular deep reinforcement learning for continuous motion planning with temporal logic","volume":"6","author":"Cai","year":"2021","journal-title":"IEEE Robotics and Automation Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b40","doi-asserted-by":"crossref","unstructured":"Cai, M., Mann, M., Serlin, Z., Leahy, K., & Vasile, C. -I. (2023). Learning minimally-violating continuous control for infeasible linear temporal logic specifications. In American control conference (pp. 1446\u20131452).","DOI":"10.23919\/ACC55779.2023.10156544"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b41","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1109\/TAC.2021.3138704","article-title":"Optimal probabilistic motion planning with potential infeasible LTL constraints","volume":"68","author":"Cai","year":"2021","journal-title":"IEEE Transactions on Automatic Control"},{"year":"2022","series-title":"Discrete-event controller synthesis for autonomous systems with deep-learning perception components","author":"Calinescu","key":"10.1016\/j.arcontrol.2024.100940_b42"},{"key":"10.1016\/j.arcontrol.2024.100940_b43","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.arcontrol.2021.10.004","article-title":"The scenario approach: A tool at the service of data-driven decision making","volume":"52","author":"Campi","year":"2021","journal-title":"Annual Reviews in Control"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b44","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.arcontrol.2009.07.001","article-title":"The scenario approach for systems and control design","volume":"33","author":"Campi","year":"2009","journal-title":"Annual Reviews in Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b45","doi-asserted-by":"crossref","unstructured":"Cardona, G. A., Leahy, K., & Vasile, C. -I. (2023). Temporal Logic Swarm Control with Splitting and Merging. In IEEE international conference on robotics and automation (pp. 12423\u201312429).","DOI":"10.1109\/ICRA48891.2023.10160335"},{"key":"10.1016\/j.arcontrol.2024.100940_b46","doi-asserted-by":"crossref","unstructured":"Cardona, G. A., Salda\u00f1a, D., & Vasile, C. -I. (2022). Planning for Modular Aerial Robotic Tools with Temporal Logic Constraints. In IEEE conference on decision and control (pp. 2878\u20132883).","DOI":"10.1109\/CDC51059.2022.9993288"},{"key":"10.1016\/j.arcontrol.2024.100940_b47","series-title":"AAAI conference on artificial intelligence","first-page":"14748","article-title":"Safe reinforcement learning via shielding under partial observability","author":"Carr","year":"2023"},{"year":"2008","series-title":"Introduction to discrete event systems","author":"Cassandras","key":"10.1016\/j.arcontrol.2024.100940_b48"},{"key":"10.1016\/j.arcontrol.2024.100940_b49","doi-asserted-by":"crossref","unstructured":"\u010ce\u0161ka, M., Hensel, C., Junges, S., & Katoen, J. -P. (2019). Counterexample-driven synthesis for probabilistic program sketches. In International symposium on formal methods (pp. 101\u2013120).","DOI":"10.1007\/978-3-030-30942-8_8"},{"key":"10.1016\/j.arcontrol.2024.100940_b50","doi-asserted-by":"crossref","first-page":"1238","DOI":"10.1109\/LCSYS.2021.3090980","article-title":"Signal temporal logic task decomposition via convex optimization","volume":"6","author":"Charitidou","year":"2021","journal-title":"IEEE Control Systems Letters"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100940_b51","doi-asserted-by":"crossref","first-page":"3545","DOI":"10.1109\/TAC.2022.3195470","article-title":"Receding horizon control with online barrier function design under signal temporal logic specifications","volume":"68","author":"Charitidou","year":"2023","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b52","article-title":"Algorithms for omega-regular games with imperfect information","volume":"3","author":"Chatterjee","year":"2007","journal-title":"Logical Methods in Computer Science"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b53","doi-asserted-by":"crossref","first-page":"158","DOI":"10.1109\/TRO.2011.2163434","article-title":"Formal approach to the deployment of distributed robotic teams","volume":"28","author":"Chen","year":"2011","journal-title":"IEEE Transactions on Robotics"},{"key":"10.1016\/j.arcontrol.2024.100940_b54","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2023.110908","article-title":"Differential privacy for symbolic systems with application to Markov chains","volume":"152","author":"Chen","year":"2023","journal-title":"Automatica"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b55","doi-asserted-by":"crossref","first-page":"1046","DOI":"10.1109\/TIV.2022.3223131","article-title":"Milestones in autonomous driving and intelligent vehicles: Survey of surveys","volume":"8","author":"Chen","year":"2022","journal-title":"IEEE Transactions on Intelligent Vehicles"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b56","doi-asserted-by":"crossref","first-page":"4601","DOI":"10.1016\/j.ifacol.2023.10.967","article-title":"Entropy rate maximization of Markov decision processes for surveillance tasks","volume":"56","author":"Chen","year":"2023","journal-title":"IFAC-PapersOnLine"},{"key":"10.1016\/j.arcontrol.2024.100940_b57","unstructured":"Chen, Y., Rosolia, U., Fan, C., Ames, A., & Murray, R. (2021). Reactive motion planning with probabilisticsafety guarantees. In The conference on robot learning (pp. 1958\u20131970)."},{"key":"10.1016\/j.arcontrol.2024.100940_b58","doi-asserted-by":"crossref","unstructured":"Chen, Y., Shang, C., Huang, X., & Yin, X. (2023). Data-Driven Safe Controller Synthesis for Deterministic Systems: A Posteriori Method With Validation Tests. In IEEE conference on decision and control (pp. 7988\u20137993).","DOI":"10.1109\/CDC49753.2023.10383978"},{"key":"10.1016\/j.arcontrol.2024.100940_b59","series-title":"AAAI conference on artificial intelligence","first-page":"3387","article-title":"End-to-end safe reinforcement learning through barrier functions for safety-critical continuous control tasks","author":"Cheng","year":"2019"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b60","doi-asserted-by":"crossref","first-page":"2308","DOI":"10.1109\/LRA.2017.2727514","article-title":"Cost-aware path planning under co-safe temporal logic specifications","volume":"2","author":"Cho","year":"2017","journal-title":"IEEE Robotics and Automation Letters"},{"year":"2013","series-title":"Manufacturing systems: Theory and practice","author":"Chryssolouris","key":"10.1016\/j.arcontrol.2024.100940_b61"},{"key":"10.1016\/j.arcontrol.2024.100940_b62","doi-asserted-by":"crossref","unstructured":"Cizelj, I., & Belta, C. (2013). Negotiating the probabilistic satisfaction of temporal logic motion specifications. In IEEE\/RSJ international conference on intelligent robots and systems (pp. 4320\u20134325).","DOI":"10.1109\/IROS.2013.6696976"},{"key":"10.1016\/j.arcontrol.2024.100940_b63","doi-asserted-by":"crossref","unstructured":"Clarke, E. M., & Emerson, E. A. (1981). Design and synthesis of synchronization skeletons using branching time temporal logic. In Workshop on logic of programs (pp. 52\u201371).","DOI":"10.1007\/BFb0025774"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b64","doi-asserted-by":"crossref","first-page":"626","DOI":"10.1145\/242223.242257","article-title":"Formal methods: State of the art and future directions","volume":"28","author":"Clarke","year":"1996","journal-title":"ACM Computing Surveys"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100940_b65","doi-asserted-by":"crossref","first-page":"1157","DOI":"10.3233\/JCS-2009-0393","article-title":"Hyperproperties","volume":"18","author":"Clarkson","year":"2010","journal-title":"Journal of Computer Security"},{"key":"10.1016\/j.arcontrol.2024.100940_b66","doi-asserted-by":"crossref","unstructured":"Cohen, M. H., & Belta, C. (2021). Model-based reinforcement learning for approximate optimal control with temporal logic specifications. In ACM International conference on hybrid systems: Computation and control (pp. 1\u201311).","DOI":"10.1145\/3447928.3456639"},{"key":"10.1016\/j.arcontrol.2024.100940_b67","doi-asserted-by":"crossref","DOI":"10.1016\/j.nahs.2022.101295","article-title":"Temporal logic guided safe model-based reinforcement learning: A hybrid systems approach","volume":"47","author":"Cohen","year":"2023","journal-title":"Nonlinear Analysis. Hybrid Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b68","first-page":"2737","article-title":"Data-driven abstractions for verification of linear systems","volume":"7","author":"Coppola","year":"2023","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b69","doi-asserted-by":"crossref","unstructured":"Cristofalo, E., Leahy, K., Vasile, C. -I., Montijano, E., Schwager, M., & Belta, C. (2017). Localization of a ground robot by aerial robots for GPS-deprived control with temporal logic constraints. In International symposium on experimental robotics (pp. 525\u2013537).","DOI":"10.1007\/978-3-319-50115-4_46"},{"year":"2023","series-title":"Formally specifying the high-level behavior of LLM-based agents","author":"Crouse","key":"10.1016\/j.arcontrol.2024.100940_b70"},{"key":"10.1016\/j.arcontrol.2024.100940_b71","doi-asserted-by":"crossref","unstructured":"Cubuktepe, M., Jansen, N., Junges, S., Katoen, J. -P., & Topcu, U. (2020). Scenario-based verification of uncertain mdps. In International conference on tools and algorithms for the construction and analysis of systems (pp. 287\u2013305).","DOI":"10.1007\/978-3-030-45190-5_16"},{"key":"10.1016\/j.arcontrol.2024.100940_b72","doi-asserted-by":"crossref","unstructured":"Cui, B., Zhu, K., Li, S., & Yin, X. (2023). Security-aware reinforcement learning under linear temporal logic specifications. In IEEE international conference on robotics and automation (pp. 12367\u201312373).","DOI":"10.1109\/ICRA48891.2023.10160753"},{"key":"10.1016\/j.arcontrol.2024.100940_b73","doi-asserted-by":"crossref","unstructured":"Dallal, E., Neider, D., & Tabuada, P. (2016). Synthesis of safety controllers robust to unmodeled intermittent disturbances. In IEEE conference on decision and control (pp. 7425\u20137430).","DOI":"10.1109\/CDC.2016.7799416"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b74","doi-asserted-by":"crossref","first-page":"1749","DOI":"10.1109\/TRO.2022.3232542","article-title":"Safe control with learned certificates: A survey of neural lyapunov, barrier, and contraction methods for robotics and control","volume":"29","author":"Dawson","year":"2023","journal-title":"IEEE Transactions on Robotics"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b75","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1016\/j.tcs.2007.07.008","article-title":"Concurrent reachability games","volume":"386","author":"De Alfaro","year":"2007","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.arcontrol.2024.100940_b76","unstructured":"De Giacomo, G., & Vardi, M. Y. (2013). Linear temporal logic and linear dynamic logic on finite traces. In International joint conference on artificial intelligence (pp. 854\u2013860)."},{"issue":"7","key":"10.1016\/j.arcontrol.2024.100940_b77","doi-asserted-by":"crossref","first-page":"1171","DOI":"10.1002\/rob.21887","article-title":"The current state and future outlook of rescue robotics","volume":"36","author":"Delmerico","year":"2019","journal-title":"Journal of Field Robotics"},{"key":"10.1016\/j.arcontrol.2024.100940_b78","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10703-017-0286-7","article-title":"Robust online monitoring of signal temporal logic","volume":"51","author":"Deshmukh","year":"2017","journal-title":"Formal Methods in System Design"},{"year":"2018","series-title":"Bert: Pre-training of deep bidirectional transformers for language understanding","author":"Devlin","key":"10.1016\/j.arcontrol.2024.100940_b79"},{"key":"10.1016\/j.arcontrol.2024.100940_b80","doi-asserted-by":"crossref","unstructured":"Devonport, A., Saoud, A., & Arcak, M. (2021). Symbolic abstractions from data: A PAC learning approach. In IEEE conference on decision and control (pp. 599\u2013604).","DOI":"10.1109\/CDC45484.2021.9683316"},{"key":"10.1016\/j.arcontrol.2024.100940_b81","doi-asserted-by":"crossref","unstructured":"Diaz-Mercado, Y., Jones, A., Belta, C., & Egerstedt, M. (2015). Correct-by-construction control synthesis for multi-robot mixing. In IEEE conference on decision and control (pp. 221\u2013226).","DOI":"10.1109\/CDC.2015.7402112"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b82","doi-asserted-by":"crossref","first-page":"1244","DOI":"10.1109\/TAC.2014.2298143","article-title":"Optimal control of Markov decision processes with linear temporal logic constraints","volume":"59","author":"Ding","year":"2014","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b83","doi-asserted-by":"crossref","unstructured":"Djeumou, F., Xu, Z., & Topcu, U. (2020). Probabilistic Swarm Guidance Subject to Graph Temporal Logic Specifications.. In Robotics: Science and systems. http:\/\/dx.doi.org\/10.15607\/RSS.2020.XVI.058.","DOI":"10.15607\/RSS.2020.XVI.058"},{"key":"10.1016\/j.arcontrol.2024.100940_b84","doi-asserted-by":"crossref","unstructured":"Donz\u00e9, A., & Maler, O. (2010). Robust satisfaction of temporal logic over real-valued signals. In International conference on formal modeling and analysis of timed systems (pp. 92\u2013106).","DOI":"10.1007\/978-3-642-15297-9_9"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b85","doi-asserted-by":"crossref","first-page":"222","DOI":"10.3182\/20140514-3-FR-4046.00018","article-title":"Bridging the gap between supervisory control and reactive synthesis: Case of full observation and centralized control","volume":"47","author":"Ehlers","year":"2014","journal-title":"IFAC Proceedings Volumes"},{"key":"10.1016\/j.arcontrol.2024.100940_b86","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1007\/s10626-015-0223-0","article-title":"Supervisory control and reactive synthesis: A comparative introduction","volume":"27","author":"Ehlers","year":"2017","journal-title":"Discrete Event Dynamic Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b87","doi-asserted-by":"crossref","unstructured":"Elfar, M., Wang, Y., & Pajic, M. (2020). Context-Aware Temporal Logic for Probabilistic Systems. In International symposium on automated technology for verification and analysis (pp. 215\u2013232).","DOI":"10.1007\/978-3-030-59152-6_12"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b88","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1145\/4904.4999","article-title":"\u201cSometimes\u201d and \u201cnot never\u201d revisited: On branching versus linear time temporal logic","volume":"33","author":"Emerson","year":"1986","journal-title":"Journal of the ACM"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b89","doi-asserted-by":"crossref","first-page":"343","DOI":"10.1016\/j.automatica.2008.08.008","article-title":"Temporal logic motion planning for dynamic robots","volume":"45","author":"Fainekos","year":"2009","journal-title":"Automatica"},{"issue":"42","key":"10.1016\/j.arcontrol.2024.100940_b90","doi-asserted-by":"crossref","first-page":"4262","DOI":"10.1016\/j.tcs.2009.06.021","article-title":"Robustness of temporal logic specifications for continuous-time signals","volume":"410","author":"Fainekos","year":"2009","journal-title":"Theoretical Computer Science"},{"key":"10.1016\/j.arcontrol.2024.100940_b91","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2022.110228","article-title":"Decentralized route-planning for multi-vehicle teams to satisfy a subclass of linear temporal logic specifications","volume":"140","author":"Fang","year":"2022","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100940_b92","doi-asserted-by":"crossref","unstructured":"Farahani, S. S., Majumdar, R., Prabhu, V. S., & Soudjani, S. E. Z. (2017). Shrinking horizon model predictive control with chance-constrained signal temporal logic specifications. In American control conference (pp. 1740\u20131746).","DOI":"10.23919\/ACC.2017.7963204"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b93","doi-asserted-by":"crossref","first-page":"3324","DOI":"10.1109\/TAC.2018.2880651","article-title":"Shrinking horizon model predictive control with signal temporal logic constraints under stochastic disturbances","volume":"64","author":"Farahani","year":"2018","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b94","doi-asserted-by":"crossref","unstructured":"Finkbeiner, B., Rabe, M. N., & S\u00e1nchez, C. (2015). Algorithms for model checking HyperLTL and HyperCTL. In International conference on computer aided verification (pp. 30\u201348).","DOI":"10.1007\/978-3-319-21690-4_3"},{"issue":"1\u20132","key":"10.1016\/j.arcontrol.2024.100940_b95","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1007\/s10479-020-03526-7","article-title":"Increasing flexibility and productivity in Industry 4.0 production networks with autonomous mobile robots and smart intralogistics","volume":"308","author":"Fragapane","year":"2022","journal-title":"Annals of Operations Research"},{"issue":"2\u20133","key":"10.1016\/j.arcontrol.2024.100940_b96","doi-asserted-by":"crossref","first-page":"250","DOI":"10.1177\/0278364919859436","article-title":"Confidence-aware motion prediction for real-time collision avoidance","volume":"39","author":"Fridovich-Keil","year":"2020","journal-title":"International Journal of Robotics Research"},{"key":"10.1016\/j.arcontrol.2024.100940_b97","series-title":"International conference on decision and game theory for security","first-page":"67","article-title":"On almost-sure intention deception planning that exploits imperfect observers","author":"Fu","year":"2022"},{"key":"10.1016\/j.arcontrol.2024.100940_b98","doi-asserted-by":"crossref","unstructured":"Fu, J., & Topcu, U. (2015a). Computational methods for stochastic control with metric interval temporal logic specifications. In IEEE conference on decision and control (pp. 7440\u20137447).","DOI":"10.1109\/CDC.2015.7403395"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b99","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1109\/TASE.2015.2499164","article-title":"Synthesis of shared autonomy policies with temporal logic specifications","volume":"13","author":"Fu","year":"2015","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"issue":"11","key":"10.1016\/j.arcontrol.2024.100940_b100","doi-asserted-by":"crossref","first-page":"3464","DOI":"10.1109\/TAC.2016.2518639","article-title":"Synthesis of joint control and active sensing strategies under temporal logic constraints","volume":"61","author":"Fu","year":"2016","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b101","doi-asserted-by":"crossref","unstructured":"Gerasimou, S., Tamburrelli, G., & Calinescu, R. (2015). Search-based synthesis of probabilistic models for quality-of-service software engineering. In IEEE\/ACM international conference on automated software engineering (pp. 319\u2013330).","DOI":"10.1109\/ASE.2015.22"},{"key":"10.1016\/j.arcontrol.2024.100940_b102","series-title":"International conference on machine learning","first-page":"3484","article-title":"Task-oriented active perception and planning in environments with partially known semantics","author":"Ghasemi","year":"2020"},{"key":"10.1016\/j.arcontrol.2024.100940_b103","doi-asserted-by":"crossref","unstructured":"Ghasemi, K., Sadraddini, S., & Belta, C. (2022). Decentralized Signal Temporal Logic Control for Perturbed Interconnected Systems via Assume-Guarantee Contract Optimization. In IEEE conference on decision and control (pp. 5226\u20135231).","DOI":"10.1109\/CDC51059.2022.9992326"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b104","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1109\/LCSYS.2020.3001875","article-title":"A smooth robustness measure of signal temporal logic for symbolic control","volume":"5","author":"Gilpin","year":"2020","journal-title":"IEEE Control Systems Letters"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b105","doi-asserted-by":"crossref","first-page":"782","DOI":"10.1109\/TAC.2007.895849","article-title":"Approximation metrics for discrete and continuous systems","volume":"52","author":"Girard","year":"2007","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b106","doi-asserted-by":"crossref","first-page":"116","DOI":"10.1109\/TAC.2009.2034922","article-title":"Approximately bisimilar symbolic models for incrementally stable switched systems","volume":"55","author":"Girard","year":"2009","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b107","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1016\/j.arcontrol.2018.04.006","article-title":"Petri nets and automatic control: A historical perspective","volume":"45","author":"Giua","year":"2018","journal-title":"Annual Reviews in Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b108","unstructured":"Gol, E. A., & Belta, C. (2014). An additive cost approach to optimal temporal logic control. In American control conference (pp. 1769\u20131774)."},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100940_b109","doi-asserted-by":"crossref","first-page":"3122","DOI":"10.1109\/TAC.2014.2351653","article-title":"Finite bisimulations for switched linear systems","volume":"59","author":"Gol","year":"2014","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b110","first-page":"1163","article-title":"Language-guided controller synthesis for linear systems","volume":"59","author":"Gol","year":"2013","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b111","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1016\/j.automatica.2015.03.029","article-title":"Temporal logic model predictive control","volume":"56","author":"Gol","year":"2015","journal-title":"Automatica"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b112","doi-asserted-by":"crossref","first-page":"1625","DOI":"10.1109\/TAC.2019.2928119","article-title":"Structuring multilevel discrete-event systems with dependence structure matrices","volume":"65","author":"Goorden","year":"2019","journal-title":"IEEE Transactions on Automatic Control"},{"year":"2003","series-title":"Automata, logics, and infinite games: A guide to current research","author":"Gr\u00e4del","key":"10.1016\/j.arcontrol.2024.100940_b113"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b114","doi-asserted-by":"crossref","first-page":"826","DOI":"10.1109\/TAC.2008.919519","article-title":"A note on the properties of the supremal controllable sublanguage in pushdown systems","volume":"53","author":"Griffin","year":"2008","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b115","doi-asserted-by":"crossref","unstructured":"Grover, K., Barbosa, F. S., Tumova, J., & Kret\u0131nsky, J. (2021). Semantic abstraction-guided motion planning for scLTL missions in unknown environments. In Robotics: Science and systems. http:\/\/dx.doi.org\/10.15607\/RSS.2021.XVII.090.","DOI":"10.15607\/RSS.2021.XVII.090"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b116","doi-asserted-by":"crossref","first-page":"3687","DOI":"10.1109\/LRA.2021.3064220","article-title":"Event-based signal temporal logic synthesis for single and multi-robot tasks","volume":"6","author":"Gundana","year":"2021","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b117","doi-asserted-by":"crossref","first-page":"10001","DOI":"10.1109\/LRA.2022.3192625","article-title":"Event-based signal temporal logic tasks: Execution and feedback in complex environments","volume":"7","author":"Gundana","year":"2022","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b118","doi-asserted-by":"crossref","first-page":"218","DOI":"10.1177\/0278364914546174","article-title":"Multi-agent plan reconfiguration under local LTL specifications","volume":"34","author":"Guo","year":"2015","journal-title":"International Journal of Robotics Research"},{"issue":"11","key":"10.1016\/j.arcontrol.2024.100940_b119","doi-asserted-by":"crossref","first-page":"6727","DOI":"10.1109\/TAC.2023.3244884","article-title":"Hierarchical motion planning under probabilistic temporal tasks and safe-return constraints","volume":"68","author":"Guo","year":"2023","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b120","doi-asserted-by":"crossref","first-page":"1082","DOI":"10.1109\/TRO.2018.2830370","article-title":"Multirobot data gathering under buffer constraints and intermittent communication","volume":"34","author":"Guo","year":"2018","journal-title":"IEEE Transactions on Robotics"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100940_b121","doi-asserted-by":"crossref","first-page":"4051","DOI":"10.1109\/TAC.2018.2799561","article-title":"Probabilistic motion planning under temporal tasks and soft constraints","volume":"63","author":"Guo","year":"2018","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b122","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/j.artint.2017.04.003","article-title":"From model checking to equilibrium checking: Reactive modules for rational verification","volume":"248","author":"Gutierrez","year":"2017","journal-title":"Artificial Intelligence"},{"issue":"16","key":"10.1016\/j.arcontrol.2024.100940_b123","doi-asserted-by":"crossref","first-page":"271","DOI":"10.1016\/j.ifacol.2018.08.046","article-title":"Temporal logic control of POMDPs via label-based stochastic simulation relations","volume":"51","author":"Haesaert","year":"2018","journal-title":"IFAC-PapersOnLine"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100940_b124","doi-asserted-by":"crossref","first-page":"2496","DOI":"10.1109\/TAC.2020.3010490","article-title":"Robust dynamic programming for temporal logic control of stochastic systems","volume":"66","author":"Haesaert","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b125","doi-asserted-by":"crossref","unstructured":"Haghighi, I., Mehdipour, N., Bartocci, E., & Belta, C. (2019). Control from signal temporal logic specifications with smooth cumulative quantitative semantics. In IEEE conference on decision and control (pp. 4361\u20134366).","DOI":"10.1109\/CDC40024.2019.9029429"},{"key":"10.1016\/j.arcontrol.2024.100940_b126","doi-asserted-by":"crossref","unstructured":"Hahn, E. M., Perez, M., Schewe, S., Somenzi, F., Trivedi, A., & Wojtczak, D. (2019). Omega-regular objectives in model-free reinforcement learning. In International conference on tools and algorithms for the construction and analysis of systems (pp. 395\u2013412).","DOI":"10.1007\/978-3-030-17462-0_27"},{"key":"10.1016\/j.arcontrol.2024.100940_b127","doi-asserted-by":"crossref","unstructured":"Hasanbeig, M., Kantaros, Y., Abate, A., Kroening, D., Pappas, G. J., & Lee, I. (2019). Reinforcement learning for temporal logic control synthesis with probabilistic satisfaction guarantees. In IEEE conference on decision and control (pp. 5338\u20135343).","DOI":"10.1109\/CDC40024.2019.9028919"},{"key":"10.1016\/j.arcontrol.2024.100940_b128","doi-asserted-by":"crossref","unstructured":"Hasanbeig, M., Kroening, D., & Abate, A. (2020). Deep reinforcement learning with temporal logics. In International Conference on Formal Modeling and Analysis of Timed Systems (pp. 1\u201322).","DOI":"10.1007\/978-3-030-57628-8_1"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b129","doi-asserted-by":"crossref","first-page":"5246","DOI":"10.1109\/LRA.2022.3155197","article-title":"STL2vec: Signal temporal logic embeddings for control synthesis with recurrent neural networks","volume":"7","author":"Hashimoto","year":"2022","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b130","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3470453","article-title":"Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments","volume":"6","author":"Hashimoto","year":"2022","journal-title":"ACM Transactions on Cyber-Physical Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b131","doi-asserted-by":"crossref","unstructured":"He, K., Lahijanian, M., Kavraki, L. E., & Vardi, M. Y. (2015). Towards manipulation planning with temporal logic specifications. In IEEE international conference on robotics and automation (pp. 346\u2013352).","DOI":"10.1109\/ICRA.2015.7139022"},{"issue":"7","key":"10.1016\/j.arcontrol.2024.100940_b132","doi-asserted-by":"crossref","first-page":"1152","DOI":"10.1016\/j.automatica.2010.04.002","article-title":"Multi-level hierarchical interface-based supervisory control","volume":"46","author":"Hill","year":"2010","journal-title":"Automatica"},{"issue":"9","key":"10.1016\/j.arcontrol.2024.100940_b133","doi-asserted-by":"crossref","first-page":"1364","DOI":"10.1080\/00207170701799365","article-title":"Incremental hierarchical construction of modular supervisors for discrete-event systems","volume":"81","author":"Hill","year":"2008","journal-title":"International Journal of Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b134","doi-asserted-by":"crossref","unstructured":"Horowitz, M. B., Wolff, E. M., & Murray, R. M. (2014). A compositional approach to stochastic optimal control with co-safe temporal logic specifications. In IEEE\/RSJ international conference on intelligent robots and systems (pp. 1466\u20131473).","DOI":"10.1109\/IROS.2014.6942750"},{"key":"10.1016\/j.arcontrol.2024.100940_b135","doi-asserted-by":"crossref","unstructured":"Hou, J., Yin, X., Li, S., & Zamani, M. (2019). Abstraction-based synthesis of opacity-enforcing controllers using alternating simulation relations. In IEEE conference on decision and control (pp. 7653\u20137658).","DOI":"10.1109\/CDC40024.2019.9029932"},{"key":"10.1016\/j.arcontrol.2024.100940_b136","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1007\/s10009-017-0447-4","article-title":"Mining parametric temporal logic properties in model-based design for cyber-physical systems","volume":"20","author":"Hoxha","year":"2018","journal-title":"International Journal on Software Tools for Technology Transfer"},{"key":"10.1016\/j.arcontrol.2024.100940_b137","doi-asserted-by":"crossref","DOI":"10.1016\/j.cosrev.2020.100270","article-title":"A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability","volume":"37","author":"Huang","year":"2020","journal-title":"Computer Science Review"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b138","doi-asserted-by":"crossref","first-page":"1930","DOI":"10.1109\/TIV.2023.3283055","article-title":"A formal control framework of autonomous vehicle for signal temporal logic tasks and obstacle avoidance","volume":"9","author":"Huang","year":"2024","journal-title":"IEEE Transactions on Intelligent Vehicles"},{"key":"10.1016\/j.arcontrol.2024.100940_b139","doi-asserted-by":"crossref","unstructured":"Huang, F., Li, S., & Yin, X. (2023). Synthesis of Failure-Robust Plans for Multi-Robot Systems Under Temporal Logic Specifications. In IEEE international conference on automation science and engineering (pp. 1\u20136).","DOI":"10.1109\/CASE56687.2023.10260303"},{"key":"10.1016\/j.arcontrol.2024.100940_b140","doi-asserted-by":"crossref","unstructured":"Huang, F., Yin, X., & Li, S. (2022). Failure-Robust Multi-Robot Tasks Planning under Linear Temporal Logic Specifications. In Asian control conference (pp. 1052\u20131059).","DOI":"10.23919\/ASCC56756.2022.9828362"},{"key":"10.1016\/j.arcontrol.2024.100940_b141","doi-asserted-by":"crossref","unstructured":"van Huijgevoort, B., & Haesaert, S. (2021). Multi-layered simulation relations for linear stochastic systems. In European control conference (pp. 728\u2013733).","DOI":"10.23919\/ECC54610.2021.9655168"},{"year":"2023","series-title":"Direct data-driven signal temporal logic control of linear systems","author":"van Huijgevoort","key":"10.1016\/j.arcontrol.2024.100940_b142"},{"key":"10.1016\/j.arcontrol.2024.100940_b143","doi-asserted-by":"crossref","unstructured":"Hustiu, I., Mahulea, C., & Kloetzer, M. (2021). Optimal task allocation for distributed co-safe LTL specifications. In IEEE international conference on emerging technologies and factory automation (pp. 1\u20134).","DOI":"10.1109\/ETFA45728.2021.9613218"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b144","doi-asserted-by":"crossref","first-page":"113","DOI":"10.1016\/j.tcs.2005.08.008","article-title":"On finite-state approximants for probabilistic computation tree logic","volume":"346","author":"Huth","year":"2005","journal-title":"Theoretical Computer Science"},{"issue":"5s","key":"10.1016\/j.arcontrol.2024.100940_b145","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3477023","article-title":"Compositional learning and verification of neural network controllers","volume":"20","author":"Ivanov","year":"2021","journal-title":"ACM Transactions on Embedded Computing Systems"},{"issue":"7","key":"10.1016\/j.arcontrol.2024.100940_b146","doi-asserted-by":"crossref","first-page":"3097","DOI":"10.1109\/TAC.2020.3013916","article-title":"Formal synthesis of stochastic systems via control barrier certificates","volume":"66","author":"Jagtap","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b147","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2020.109359","article-title":"Optimal supervisory control with mean payoff objectives and under partial observation","volume":"123","author":"Ji","year":"2021","journal-title":"Automatica"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100940_b148","doi-asserted-by":"crossref","first-page":"2079","DOI":"10.1137\/S0363012902409982","article-title":"Supervisory control of discrete event systems with CTL* temporal logic specifications","volume":"44","author":"Jiang","year":"2006","journal-title":"SIAM Journal on Control and Optimization"},{"key":"10.1016\/j.arcontrol.2024.100940_b149","doi-asserted-by":"crossref","first-page":"2641","DOI":"10.1109\/LCSYS.2022.3173993","article-title":"Safe learning for uncertainty-aware planning via interval MDP abstraction","volume":"6","author":"Jiang","year":"2022","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b150","doi-asserted-by":"crossref","unstructured":"Jones, A., Leahy, K., & Hale, M. (2019). Towards differential privacy for symbolic systems. In American control conference (pp. 372\u2013377).","DOI":"10.23919\/ACC.2019.8814723"},{"key":"10.1016\/j.arcontrol.2024.100940_b151","doi-asserted-by":"crossref","unstructured":"Kalagarla, K. C., Jain, R., & Nuzzo, P. (2021). Model-free reinforcement learning for optimal control of Markov decision processes under signal temporal logic specifications. In IEEE conference on decision and control (pp. 2252\u20132257).","DOI":"10.23919\/ACC50511.2021.9482749"},{"key":"10.1016\/j.arcontrol.2024.100940_b152","doi-asserted-by":"crossref","unstructured":"Kalluraya, S., Pappas, G. J., & Kantaros, Y. (2023a). Multi-robot mission planning in dynamic semantic environments. In IEEE international conference on robotics and automation (pp. 1630\u20131637).","DOI":"10.1109\/ICRA48891.2023.10160344"},{"year":"2023","series-title":"Resilient temporal logic planning in the presence of robot failures","author":"Kalluraya","key":"10.1016\/j.arcontrol.2024.100940_b153"},{"key":"10.1016\/j.arcontrol.2024.100940_b154","doi-asserted-by":"crossref","unstructured":"Kamale, D., Karyofylli, E., & Vasile, C. -I. (2021). Automata-based optimal planning with relaxed specifications. In IEEE\/RSJ international conference on intelligent robots and systems (pp. 6525\u20136530).","DOI":"10.1109\/IROS51168.2021.9635906"},{"key":"10.1016\/j.arcontrol.2024.100940_b155","doi-asserted-by":"crossref","unstructured":"Kamide, N., & Yamamoto, N. (2021). Inconsistency-tolerant Hierarchical Probabilistic Computation Tree Logic and Its Application to Model Checking. In International conference on agents and artificial intelligence (pp. 490\u2013499).","DOI":"10.5220\/0010181604900499"},{"issue":"10","key":"10.1016\/j.arcontrol.2024.100940_b156","doi-asserted-by":"crossref","first-page":"4105","DOI":"10.1109\/TAC.2019.2893161","article-title":"Temporal logic task planning and intermittent connectivity control of mobile robot networks","volume":"64","author":"Kantaros","year":"2019","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b157","doi-asserted-by":"crossref","first-page":"2536","DOI":"10.1109\/TRO.2022.3144073","article-title":"Perception-based temporal logic planning in uncertain semantic maps","volume":"38","author":"Kantaros","year":"2022","journal-title":"IEEE Transactions on Robotics"},{"key":"10.1016\/j.arcontrol.2024.100940_b158","doi-asserted-by":"crossref","unstructured":"Kantaros, Y., Malencia, M., Kumar, V., & Pappas, G. J. (2020). Reactive temporal logic planning for multiple robots in unknown environments. In IEEE international conference on robotics and automation (pp. 11479\u201311485).","DOI":"10.1109\/ICRA40945.2020.9197570"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b159","doi-asserted-by":"crossref","first-page":"1916","DOI":"10.1109\/TAC.2018.2853558","article-title":"Sampling-based optimal control synthesis for multirobot systems under global temporal tasks","volume":"64","author":"Kantaros","year":"2018","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"7","key":"10.1016\/j.arcontrol.2024.100940_b160","doi-asserted-by":"crossref","first-page":"812","DOI":"10.1177\/0278364920913922","article-title":"Stylus*: A temporal logic optimal control synthesis algorithm for large-scale multi-robot systems","volume":"39","author":"Kantaros","year":"2020","journal-title":"International Journal of Robotics Research"},{"year":"2020","series-title":"Model-based reinforcement learning from signal temporal logic specifications","author":"Kapoor","key":"10.1016\/j.arcontrol.2024.100940_b161"},{"key":"10.1016\/j.arcontrol.2024.100940_b162","doi-asserted-by":"crossref","unstructured":"Karaman, S., & Frazzoli, E. (2008). Vehicle routing problem with metric temporal logic specifications. In IEEE conference on decision and control (pp. 3953\u20133958).","DOI":"10.1109\/CDC.2008.4739366"},{"key":"10.1016\/j.arcontrol.2024.100940_b163","doi-asserted-by":"crossref","unstructured":"Karaman, S., & Frazzoli, E. (2009). Sampling-based motion planning with deterministic \u03bc-calculus specifications. In IEEE conference on decision and control (pp. 2222\u20132229).","DOI":"10.1109\/CDC.2009.5400278"},{"key":"10.1016\/j.arcontrol.2024.100940_b164","doi-asserted-by":"crossref","unstructured":"Karaman, S., & Frazzoli, E. (2012). Sampling-based algorithms for optimal motion planning with deterministic \u03bc-calculus specifications. In American control conference (pp. 735\u2013742).","DOI":"10.1109\/ACC.2012.6315419"},{"key":"10.1016\/j.arcontrol.2024.100940_b165","doi-asserted-by":"crossref","unstructured":"Karlsson, J., Vasile, C. -I., Tumova, J., Karaman, S., & Rus, D. (2018). Multi-vehicle motion planning for social optimal mobility-on-demand. In IEEE international conference on robotics and automation (pp. 7298\u20137305).","DOI":"10.1109\/ICRA.2018.8462968"},{"key":"10.1016\/j.arcontrol.2024.100940_b166","doi-asserted-by":"crossref","unstructured":"Kazemi, M., & Soudjani, S. (2020). Formal policy synthesis for continuous-state systems via reinforcement learning. In International Conference on Integrated Formal Methods (pp. 3\u201321).","DOI":"10.1007\/978-3-030-63461-2_1"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b167","doi-asserted-by":"crossref","first-page":"2081","DOI":"10.1016\/j.ifacol.2020.12.2526","article-title":"Communication policies in heterogeneous multi-agent systems in partially known environments under temporal logic specifications","volume":"53","author":"Keroglou","year":"2020","journal-title":"IFAC-PapersOnLine"},{"issue":"9","key":"10.1016\/j.arcontrol.2024.100940_b168","doi-asserted-by":"crossref","first-page":"5600","DOI":"10.1109\/TAC.2022.3218932","article-title":"A framework for output-feedback symbolic control","volume":"68","author":"Khaled","year":"2023","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b169","doi-asserted-by":"crossref","first-page":"320","DOI":"10.1109\/TRO.2006.889492","article-title":"Temporal logic planning and control of robotic swarms by hierarchical abstractions","volume":"23","author":"Kloetzer","year":"2007","journal-title":"IEEE Transactions on Robotics"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b170","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1109\/TAC.2007.914952","article-title":"A fully automated framework for control of linear systems from temporal logic specifications","volume":"53","author":"Kloetzer","year":"2008","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b171","doi-asserted-by":"crossref","unstructured":"Kloetzer, M., & Mahulea, C. (2016). Multi-robot path planning for syntactically co-safe LTL specifications. In International workshop on discrete event systems (pp. 452\u2013458).","DOI":"10.1109\/WODES.2016.7497887"},{"key":"10.1016\/j.arcontrol.2024.100940_b172","doi-asserted-by":"crossref","first-page":"55","DOI":"10.1007\/s10626-019-00300-1","article-title":"Path planning for robotic teams based on LTL specifications and Petri net models","volume":"30","author":"Kloetzer","year":"2020","journal-title":"Discrete Event Dynamic Systems"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b173","doi-asserted-by":"crossref","first-page":"58","DOI":"10.14429\/dsj.69.12294","article-title":"Methodology for integrating computational tree logic model checking in unified modelling language artefacts: A case study of an embedded controller","volume":"69","author":"Kochaleema","year":"2019","journal-title":"Defence Science Journal"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100940_b174","doi-asserted-by":"crossref","first-page":"1260","DOI":"10.1016\/j.sysconle.2012.07.013","article-title":"On conditional decomposability","volume":"61","author":"Komenda","year":"2012","journal-title":"Systems & Control Letters"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b175","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","article-title":"Specifying real-time properties with metric temporal logic","volume":"2","author":"Koymans","year":"1990","journal-title":"Real-Time Systems"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100940_b176","doi-asserted-by":"crossref","first-page":"1370","DOI":"10.1109\/TRO.2009.2030225","article-title":"Temporal-logic-based reactive mission and motion planning","volume":"25","author":"Kress-Gazit","year":"2009","journal-title":"IEEE Transactions on Robotics"},{"key":"10.1016\/j.arcontrol.2024.100940_b177","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1146\/annurev-control-060117-104838","article-title":"Synthesis for robots: Guarantees and feedback for robot behavior","volume":"1","author":"Kress-Gazit","year":"2018","journal-title":"Annual Review of Control, Robotics, and Autonomous Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b178","doi-asserted-by":"crossref","DOI":"10.1016\/j.ic.2022.104885","article-title":"Comparison of algorithms for simple stochastic games","volume":"289","author":"K\u0159et\u00ednsk\u1ef3","year":"2022","journal-title":"Information and Computation"},{"key":"10.1016\/j.arcontrol.2024.100940_b179","doi-asserted-by":"crossref","unstructured":"Kulkarni, A. N., & Fu, J. (2018). A compositional approach to reactive games under temporal logic specifications. In American control conference (pp. 2356\u20132362).","DOI":"10.23919\/ACC.2018.8431867"},{"year":"2022","series-title":"Opportunistic qualitative planning in stochastic systems with preferences over temporal logic objectives","author":"Kulkarni","key":"10.1016\/j.arcontrol.2024.100940_b180"},{"key":"10.1016\/j.arcontrol.2024.100940_b181","doi-asserted-by":"crossref","unstructured":"Kulkarni, A. N., Han, S., Leslie, N. O., Kamhoua, C. A., & Fu, J. (2021). Qualitative planning in imperfect information games with active sensing and reactive sensor attacks: Cost of unawareness. In IEEE conference on decision and control (pp. 586\u2013592).","DOI":"10.1109\/CDC45484.2021.9683170"},{"year":"2023","series-title":"Conformal prediction with large language models for multi-choice question answering","author":"Kumar","key":"10.1016\/j.arcontrol.2024.100940_b182"},{"year":"2015","series-title":"Stochastic systems: Estimation, identification, and adaptive control","author":"Kumar","key":"10.1016\/j.arcontrol.2024.100940_b183"},{"key":"10.1016\/j.arcontrol.2024.100940_b184","doi-asserted-by":"crossref","unstructured":"Kupferman, O., Madhusudan, P., Thiagarajan, P. S., & Vardi, M. Y. (2000). Open systems in reactive environments: Control and synthesis. In International conference on concurrency theory (pp. 92\u2013107).","DOI":"10.1007\/3-540-44618-4_9"},{"key":"10.1016\/j.arcontrol.2024.100940_b185","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1023\/A:1011254632723","article-title":"Model checking of safety properties","volume":"19","author":"Kupferman","year":"2001","journal-title":"Formal Methods in System Design"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b186","doi-asserted-by":"crossref","first-page":"1429","DOI":"10.1109\/LCSYS.2020.3038640","article-title":"Trajectory optimization for high-dimensional nonlinear systems under STL specifications","volume":"5","author":"Kurtz","year":"2020","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b187","doi-asserted-by":"crossref","first-page":"1718","DOI":"10.1109\/LCSYS.2021.3132839","article-title":"A more scalable mixed-integer encoding for metric temporal logic","volume":"6","author":"Kurtz","year":"2021","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b188","doi-asserted-by":"crossref","first-page":"2635","DOI":"10.1109\/LCSYS.2022.3172857","article-title":"Mixed-integer programming for signal temporal logic with fewer binary variables","volume":"6","author":"Kurtz","year":"2022","journal-title":"IEEE Control Systems Letters"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b189","doi-asserted-by":"crossref","first-page":"3791","DOI":"10.1109\/TRO.2023.3291463","article-title":"Temporal logic motion planning with convex optimization via graphs of convex sets","volume":"39","author":"Kurtz","year":"2023","journal-title":"IEEE Transactions on Robotics"},{"issue":"9","key":"10.1016\/j.arcontrol.2024.100940_b190","doi-asserted-by":"crossref","first-page":"1098","DOI":"10.1177\/0278364919856695","article-title":"Probabilistic planning with formal performance guarantees for mobile service robots","volume":"38","author":"Lacerda","year":"2019","journal-title":"International Journal of Robotics Research"},{"key":"10.1016\/j.arcontrol.2024.100940_b191","doi-asserted-by":"crossref","unstructured":"Lacerda, B., Parker, D., & Hawes, N. (2014). Optimal and dynamic planning for Markov decision processes with co-safe LTL specifications. In IEEE\/RSJ international conference on intelligent robots and systems (pp. 1511\u20131516).","DOI":"10.1109\/IROS.2014.6942756"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b192","doi-asserted-by":"crossref","first-page":"396","DOI":"10.1109\/TRO.2011.2172150","article-title":"Temporal logic motion planning and control with probabilistic satisfaction guarantees","volume":"28","author":"Lahijanian","year":"2011","journal-title":"IEEE Transactions on Robotics"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b193","doi-asserted-by":"crossref","first-page":"2031","DOI":"10.1109\/TAC.2015.2398883","article-title":"Formal verification and synthesis for discrete-time stochastic systems","volume":"60","author":"Lahijanian","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b194","series-title":"IEEE international conference on robotics and automation","first-page":"3227","article-title":"Motion planning and control from temporal logic specifications with probabilistic satisfaction guarantees","author":"Lahijanian","year":"2010"},{"key":"10.1016\/j.arcontrol.2024.100940_b195","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1109\/LCSYS.2022.3186100","article-title":"Data-driven synthesis of symbolic abstractions with guaranteed confidence","volume":"7","author":"Lavaei","year":"2022","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b196","doi-asserted-by":"crossref","unstructured":"Lavaei, A., Somenzi, F., Soudjani, S., Trivedi, A., & Zamani, M. (2020). Formal controller synthesis for continuous-space MDPs via model-free reinforcement learning. In ACM\/IEEE international conference on cyber-physical systems (pp. 98\u2013107).","DOI":"10.1109\/ICCPS48487.2020.00017"},{"key":"10.1016\/j.arcontrol.2024.100940_b197","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2022.110617","article-title":"Automated verification and synthesis of stochastic hybrid systems: A survey","volume":"146","author":"Lavaei","year":"2022","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100940_b198","doi-asserted-by":"crossref","first-page":"460","DOI":"10.1109\/LCSYS.2022.3188535","article-title":"Constructing MDP abstractions using data with formal guarantees","volume":"7","author":"Lavaei","year":"2022","journal-title":"IEEE Control Systems Letters"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b199","doi-asserted-by":"crossref","first-page":"2297","DOI":"10.1109\/LRA.2022.3143304","article-title":"Fast decomposition of temporal logic specifications for heterogeneous teams","volume":"7","author":"Leahy","year":"2022","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"9","key":"10.1016\/j.arcontrol.2024.100940_b200","doi-asserted-by":"crossref","first-page":"1322","DOI":"10.1109\/TAC.2005.854586","article-title":"Hierarchical interface-based supervisory control-part I: Serial case","volume":"50","author":"Leduc","year":"2005","journal-title":"IEEE Transactions on Automatic Control"},{"year":"2016","series-title":"Introduction to embedded systems: A cyber-physical systems approach","author":"Lee","key":"10.1016\/j.arcontrol.2024.100940_b201"},{"key":"10.1016\/j.arcontrol.2024.100940_b202","doi-asserted-by":"crossref","unstructured":"Leung, K., & Pavone, M. (2022). Semi-supervised trajectory-feedback controller synthesis for signal temporal logic specifications. In American control conference (pp. 178\u2013185).","DOI":"10.23919\/ACC53348.2022.9867345"},{"key":"10.1016\/j.arcontrol.2024.100940_b203","doi-asserted-by":"crossref","first-page":"2293","DOI":"10.1109\/LCSYS.2022.3145058","article-title":"Online motion planning with soft metric interval temporal logic in unknown dynamic environment","volume":"6","author":"Li","year":"2022","journal-title":"IEEE Control Systems Letters"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b204","doi-asserted-by":"crossref","first-page":"4991","DOI":"10.1109\/LRA.2023.3290531","article-title":"Fast task allocation of heterogeneous robots with temporal logic and inter-task constraints","volume":"8","author":"Li","year":"2023","journal-title":"IEEE Robotics and Automation Letters"},{"year":"2021","series-title":"Policy synthesis for metric interval temporal logic with probabilistic distributions","author":"Li","key":"10.1016\/j.arcontrol.2024.100940_b205"},{"key":"10.1016\/j.arcontrol.2024.100940_b206","doi-asserted-by":"crossref","unstructured":"Li, S., Park, D., Sung, Y., Shah, J. A., & Roy, N. (2021). Reactive task and motion planning under temporal logic specifications. In IEEE international conference on robotics and automation (pp. 12618\u201312624).","DOI":"10.1109\/ICRA48506.2021.9561807"},{"issue":"37","key":"10.1016\/j.arcontrol.2024.100940_b207","doi-asserted-by":"crossref","first-page":"eaay6276","DOI":"10.1126\/scirobotics.aay6276","article-title":"A formal methods approach to interpretable reinforcement learning for robotic planning","volume":"4","author":"Li","year":"2019","journal-title":"Science Robotics"},{"key":"10.1016\/j.arcontrol.2024.100940_b208","doi-asserted-by":"crossref","unstructured":"Li, X., Vasile, C. -I., & Belta, C. (2017). Reinforcement learning with temporal logic rewards. In IEEE\/RSJ international conference on intelligent robots and systems (pp. 3834\u20133839).","DOI":"10.1109\/IROS.2017.8206234"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b209","doi-asserted-by":"crossref","first-page":"1436","DOI":"10.1109\/TIV.2023.3327312","article-title":"Temporal logic task planning for autonomous systems with active acquisition of information","volume":"9","author":"Li","year":"2023","journal-title":"IEEE Transactions on Intelligent Vehicles"},{"year":"2023","series-title":"Refining perception contracts: Case studies in vision-based safe auto-landing","author":"Li","key":"10.1016\/j.arcontrol.2024.100940_b210"},{"key":"10.1016\/j.arcontrol.2024.100940_b211","doi-asserted-by":"crossref","unstructured":"Liang, K., & Vasile, C. -I. (2022). Fair Planning for Mobility-on-Demand with Temporal Logic Requests. In IEEE\/RSJ international conference on intelligent robots and systems (pp. 1283\u20131289).","DOI":"10.1109\/IROS47612.2022.9981291"},{"key":"10.1016\/j.arcontrol.2024.100940_b212","doi-asserted-by":"crossref","first-page":"89","DOI":"10.1007\/s10514-014-9418-8","article-title":"Provably correct reactive control from natural language","volume":"38","author":"Lignos","year":"2015","journal-title":"Autonomous Robots"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b213","doi-asserted-by":"crossref","first-page":"777","DOI":"10.1109\/TAC.2015.2447193","article-title":"On distributed and parameterized supervisor synthesis problems","volume":"61","author":"Lin","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b214","doi-asserted-by":"crossref","first-page":"5116","DOI":"10.1109\/LRA.2023.3292071","article-title":"Safe planning in dynamic environments using conformal prediction","volume":"8","author":"Lindemann","year":"2023","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b215","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1109\/LCSYS.2018.2853182","article-title":"Control barrier functions for signal temporal logic tasks","volume":"3","author":"Lindemann","year":"2018","journal-title":"IEEE Control Systems Letters"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b216","doi-asserted-by":"crossref","first-page":"757","DOI":"10.1109\/LCSYS.2019.2917975","article-title":"Control barrier functions for multi-agent systems under conflicting local signal temporal logic tasks","volume":"3","author":"Lindemann","year":"2019","journal-title":"IEEE Control Systems Letters"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b217","doi-asserted-by":"crossref","first-page":"1916","DOI":"10.1109\/TCNS.2020.3014602","article-title":"Barrier function based collaborative control of multiple robots under signal temporal logic tasks","volume":"7","author":"Lindemann","year":"2020","journal-title":"IEEE Transactions on Control of Network Systems"},{"issue":"10","key":"10.1016\/j.arcontrol.2024.100940_b218","doi-asserted-by":"crossref","first-page":"5262","DOI":"10.1109\/TAC.2021.3120681","article-title":"Reactive and risk-aware control for signal temporal logic","volume":"67","author":"Lindemann","year":"2021","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b219","doi-asserted-by":"crossref","unstructured":"Lindemann, L., Qin, X., Deshmukh, J. V., & Pappas, G. J. (2023). Conformal prediction for STL runtime verification. In ACM\/IEEE international conference on cyber-physical systems (pp. 142\u2013153).","DOI":"10.1145\/3576841.3585927"},{"key":"10.1016\/j.arcontrol.2024.100940_b220","doi-asserted-by":"crossref","unstructured":"Lindemann, L., Rodionova, A., & Pappas, G. (2022). Temporal robustness of stochastic signals. In ACM international conference on hybrid systems: Computation and control (pp. 1\u201311).","DOI":"10.1145\/3501710.3519504"},{"year":"2023","series-title":"Nngtl: Neural network guided optimal temporal logic task planning for mobile robots","author":"Liu","key":"10.1016\/j.arcontrol.2024.100940_b221"},{"key":"10.1016\/j.arcontrol.2024.100940_b222","doi-asserted-by":"crossref","unstructured":"Liu, R., Li, S., & Yin, X. (2024). NNgTL: Neural Network Guided Optimal Temporal Logic Task Planning for Mobile Robots. In IEEE international conference on robotics and automation.","DOI":"10.1109\/ICRA57147.2024.10611699"},{"key":"10.1016\/j.arcontrol.2024.100940_b223","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1109\/LCSYS.2021.3049917","article-title":"Recurrent neural network controllers for signal temporal logic specifications subject to safety constraints","volume":"6","author":"Liu","year":"2021","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b224","doi-asserted-by":"crossref","unstructured":"Liu, W., Nishioka, M., & Belta, C. (2023). Safe model-based control from signal temporal logic specifications using recurrent neural networks. In IEEE international conference on robotics and automation (pp. 12416\u201312422).","DOI":"10.1109\/ICRA48891.2023.10161201"},{"issue":"7","key":"10.1016\/j.arcontrol.2024.100940_b225","doi-asserted-by":"crossref","first-page":"1771","DOI":"10.1109\/TAC.2013.2246095","article-title":"Synthesis of reactive switching protocols from temporal logic specifications","volume":"58","author":"Liu","year":"2013","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b226","doi-asserted-by":"crossref","unstructured":"Liu, J., & Prabhakar, P. (2014). Switching control of dynamical systems from metric temporal logic specifications. In IEEE international conference on robotics and automation (pp. 5333\u20135338).","DOI":"10.1109\/ICRA.2014.6907643"},{"key":"10.1016\/j.arcontrol.2024.100940_b227","doi-asserted-by":"crossref","unstructured":"Liu, S., Saoud, A., Jagtap, P., Dimarogonas, D. V., & Zamani, M. (2022). Compositional synthesis of signal temporal logic tasks via assume-guarantee contracts. In IEEE conference on decision and control (pp. 2184\u20132189).","DOI":"10.1109\/CDC51059.2022.9992715"},{"key":"10.1016\/j.arcontrol.2024.100940_b228","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1016\/j.arcontrol.2022.03.004","article-title":"Secure-by-construction synthesis of cyber-physical systems","volume":"53","author":"Liu","year":"2022","journal-title":"Annual Reviews in Control"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b229","doi-asserted-by":"crossref","first-page":"1801","DOI":"10.1109\/TCNS.2020.3000742","article-title":"Distributed communication-aware motion planning for networked mobile robots under formal specifications","volume":"7","author":"Liu","year":"2020","journal-title":"IEEE Transactions on Control of Network Systems"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b230","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3342355","article-title":"Formal specification and verification of autonomous robotic systems: A survey","volume":"52","author":"Luckcuck","year":"2019","journal-title":"ACM Computing Surveys"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b231","doi-asserted-by":"crossref","first-page":"1487","DOI":"10.1109\/TRO.2021.3061983","article-title":"An abstraction-free method for multirobot temporal logic optimal control synthesis","volume":"37","author":"Luo","year":"2021","journal-title":"IEEE Transactions on Robotics"},{"key":"10.1016\/j.arcontrol.2024.100940_b232","doi-asserted-by":"crossref","DOI":"10.1016\/j.conengprac.2023.105600","article-title":"Optimal multi-robot path planning for cyclic tasks using Petri nets","volume":"138","author":"Lv","year":"2023","journal-title":"Control Engineering Practice"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100940_b233","doi-asserted-by":"crossref","first-page":"2816","DOI":"10.1109\/TAC.2021.3091438","article-title":"Optimal secret protections in discrete-event systems","volume":"67","author":"Ma","year":"2021","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b234","doi-asserted-by":"crossref","first-page":"2942","DOI":"10.1109\/LCSYS.2022.3168926","article-title":"On resilient supervisory control against indefinite actuator attacks in discrete-event systems","volume":"6","author":"Ma","year":"2022","journal-title":"IEEE Control Systems Letters"},{"issue":"7","key":"10.1016\/j.arcontrol.2024.100940_b235","doi-asserted-by":"crossref","first-page":"2218","DOI":"10.1109\/TAC.2017.2760249","article-title":"Robot planning based on boolean specifications using Petri net models","volume":"63","author":"Mahulea","year":"2017","journal-title":"IEEE Transactions on Automatic Control"},{"year":"2020","series-title":"Path planning of cooperative mobile robots using discrete event models","author":"Mahulea","key":"10.1016\/j.arcontrol.2024.100940_b236"},{"key":"10.1016\/j.arcontrol.2024.100940_b237","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Piterman, N., & Schmuck, A. -K. (2019). Environmentally-friendly GR (1) synthesis. In International conference on tools and algorithms for the construction and analysis of systems (pp. 229\u2013246).","DOI":"10.1007\/978-3-030-17465-1_13"},{"key":"10.1016\/j.arcontrol.2024.100940_b238","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Render, E., & Tabuada, P. (2011). Robust discrete synthesis against unspecified disturbances. In ACM International conference on hybrid systems: Computation and control (pp. 211\u2013220).","DOI":"10.1145\/1967701.1967732"},{"key":"10.1016\/j.arcontrol.2024.100940_b239","doi-asserted-by":"crossref","unstructured":"Maler, O., & Nickovic, D. (2004). Monitoring temporal properties of continuous signals. In International symposium on formal techniques in real-time and fault-tolerant systems (pp. 152\u2013166).","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"10.1016\/j.arcontrol.2024.100940_b240","doi-asserted-by":"crossref","unstructured":"Maniatopoulos, S., Schillinger, P., Pong, V., Conner, D. C., & Kress-Gazit, H. (2016). Reactive high-level behavior synthesis for an atlas humanoid robot. In IEEE international conference on robotics and automation (pp. 4192\u20134199).","DOI":"10.1109\/ICRA.2016.7487613"},{"year":"2012","series-title":"Temporal verification of reactive systems: Safety","author":"Manna","key":"10.1016\/j.arcontrol.2024.100940_b241"},{"key":"10.1016\/j.arcontrol.2024.100940_b242","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2022.110692","article-title":"Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges","volume":"152","author":"Mehdipour","year":"2023","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100940_b243","doi-asserted-by":"crossref","unstructured":"Mehdipour, N., Vasile, C. -I., & Belta, C. (2019). Arithmetic-geometric mean robustness for control from signal temporal logic specifications. In American control conference (pp. 1690\u20131695).","DOI":"10.23919\/ACC.2019.8814487"},{"key":"10.1016\/j.arcontrol.2024.100940_b244","first-page":"1","article-title":"On tolerance of discrete systems with respect to transition perturbations","author":"Meira-G\u00f3es","year":"2023","journal-title":"Discrete Event Dynamic Systems"},{"issue":"11","key":"10.1016\/j.arcontrol.2024.100940_b245","doi-asserted-by":"crossref","first-page":"4676","DOI":"10.1109\/TAC.2019.2902643","article-title":"Hierarchical decomposition of LTL synthesis problem for nonlinear control systems","volume":"64","author":"Meyer","year":"2019","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b246","doi-asserted-by":"crossref","unstructured":"Montana, F. J., Liu, J., & Dodd, T. J. (2016). Sampling-based stochastic optimal control with metric interval temporal logic specifications. In IEEE conference on control applications (pp. 767\u2013773).","DOI":"10.1109\/CCA.2016.7587911"},{"key":"10.1016\/j.arcontrol.2024.100940_b247","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1023\/A:1013339920783","article-title":"Discrete supervisory control of hybrid systems based on l-complete approximations","volume":"12","author":"Moor","year":"2002","journal-title":"Discrete Event Dynamic Systems"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b248","doi-asserted-by":"crossref","first-page":"541","DOI":"10.1109\/5.24143","article-title":"Petri nets: Properties, analysis and applications","volume":"77","author":"Murata","year":"1989","journal-title":"Proceedings of the IEEE"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b249","doi-asserted-by":"crossref","first-page":"1599","DOI":"10.1109\/TRO.2021.3111786","article-title":"Proximity perception in human-centered robotics: A survey on sensing systems and applications","volume":"38","author":"Navarro","year":"2021","journal-title":"IEEE Transactions on Robotics"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b250","doi-asserted-by":"crossref","first-page":"3011","DOI":"10.1109\/TAC.2023.3255141","article-title":"Formal verification of unknown discrete-and continuous-time systems: A data-driven approach","volume":"68","author":"Nejati","year":"2023","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b251","doi-asserted-by":"crossref","first-page":"10766","DOI":"10.1016\/j.ifacol.2017.08.2280","article-title":"Probabilistic plan synthesis for coupled multi-agent systems","volume":"50","author":"Nikou","year":"2017","journal-title":"IFAC-PapersOnLine"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b252","doi-asserted-by":"crossref","first-page":"461","DOI":"10.1109\/TAC.2019.2910949","article-title":"Control synthesis for permutation-symmetric high-dimensional systems with counting constraints","volume":"65","author":"Nilsson","year":"2019","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b253","doi-asserted-by":"crossref","first-page":"995","DOI":"10.1109\/TAC.2020.2989268","article-title":"Optimal minimum violation control synthesis of cyber-physical systems under attacks","volume":"66","author":"Niu","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b254","doi-asserted-by":"crossref","unstructured":"Niu, L., Ramasubramanian, B., Clark, A., Bushnell, L., & Poovendran, R. (2020). Control synthesis for cyber-physical systems to satisfy metric interval temporal logic objectives under timing and actuator attacks. In ACM\/IEEE international conference on cyber-physical systems (pp. 162\u2013173).","DOI":"10.1109\/ICCPS48487.2020.00023"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100940_b255","doi-asserted-by":"crossref","first-page":"5816","DOI":"10.1109\/TAC.2020.3044273","article-title":"Chance-constrained multilayered sampling-based path planning for temporal logic-based missions","volume":"66","author":"Oh","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100940_b256","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1007\/s10514-022-10043-y","article-title":"Hierarchical planning with state abstractions for temporal task specifications","volume":"46","author":"Oh","year":"2022","journal-title":"Autonomous Robots"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b257","doi-asserted-by":"crossref","first-page":"235","DOI":"10.1109\/TCST.2022.3172872","article-title":"A neural network approach for high-dimensional optimal control applied to multiagent path finding","volume":"31","author":"Onken","year":"2022","journal-title":"IEEE Transactions on Control Systems Technology"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b258","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1109\/LCSYS.2020.2980552","article-title":"Reinforcement learning of control policy for linear temporal logic specifications using limit-deterministic generalized b\u00fcchi automata","volume":"4","author":"Oura","year":"2020","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b259","doi-asserted-by":"crossref","first-page":"60","DOI":"10.1016\/j.fss.2014.07.008","article-title":"Model checking fuzzy computation tree logic","volume":"262","author":"Pan","year":"2015","journal-title":"Fuzzy Sets and Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b260","doi-asserted-by":"crossref","unstructured":"Pant, Y. V., Abbas, H., & Mangharam, R. (2017). Smooth operator: Control using the smooth robustness of temporal logic. In IEEE conference on control technology and applications (pp. 1235\u20131240).","DOI":"10.1109\/CCTA.2017.8062628"},{"key":"10.1016\/j.arcontrol.2024.100940_b261","doi-asserted-by":"crossref","unstructured":"P\u0103s\u0103reanu, C. S., Mangal, R., Gopinath, D., Getir Yaman, S., Imrie, C., Calinescu, R., et al. (2023). Closed-loop analysis of vision-based autonomous systems: A case study. In International conference on computer aided verification (pp. 289\u2013303).","DOI":"10.1007\/978-3-031-37706-8_15"},{"key":"10.1016\/j.arcontrol.2024.100940_b262","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1109\/LCSYS.2022.3186187","article-title":"Data-driven abstractions with probabilistic guarantees for linear petc systems","volume":"7","author":"Peruffo","year":"2022","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b263","doi-asserted-by":"crossref","unstructured":"Peterson, R., Buyukkocak, A. T., Aksaray, D., & Yaz\u0131c\u0131oglu, Y. (2020). Decentralized safe reactive planning under TWTL specifications. In IEEE\/RSJ international conference on intelligent robots and systems (pp. 6599\u20136604).","DOI":"10.1109\/IROS45743.2020.9341624"},{"year":"2018","series-title":"Logical foundations of cyber-physical systems","author":"Platzer","key":"10.1016\/j.arcontrol.2024.100940_b264"},{"key":"10.1016\/j.arcontrol.2024.100940_b265","doi-asserted-by":"crossref","unstructured":"Pnueli, A. (1977). The temporal logic of programs. In Annual symposium on foundations of computer science (pp. 46\u201357).","DOI":"10.1109\/SFCS.1977.32"},{"key":"10.1016\/j.arcontrol.2024.100940_b266","doi-asserted-by":"crossref","unstructured":"Pnueli, A., & Rosner, R. (1989). On the synthesis of a reactive module. In ACM SIGPLAn-SIGACT symposium on principles of programming languages (pp. 179\u2013190).","DOI":"10.1145\/75277.75293"},{"issue":"10","key":"10.1016\/j.arcontrol.2024.100940_b267","doi-asserted-by":"crossref","first-page":"2508","DOI":"10.1016\/j.automatica.2008.02.021","article-title":"Approximately bisimilar symbolic models for nonlinear control systems","volume":"44","author":"Pola","year":"2008","journal-title":"Automatica"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b268","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1137\/070698580","article-title":"Symbolic models for nonlinear control systems: Alternating approximate bisimulations","volume":"48","author":"Pola","year":"2009","journal-title":"SIAM Journal on Control and Optimization"},{"key":"10.1016\/j.arcontrol.2024.100940_b269","doi-asserted-by":"crossref","unstructured":"Prajna, S., & Jadbabaie, A. (2004). Safety verification of hybrid systems using barrier certificates. In International workshop on hybrid systems: Computation and control (pp. 477\u2013492).","DOI":"10.1007\/978-3-540-24743-2_32"},{"key":"10.1016\/j.arcontrol.2024.100940_b270","doi-asserted-by":"crossref","unstructured":"Puggelli, A., Sangiovanni-Vincentelli, A. L., & Seshia, S. A. (2014). Robust strategy synthesis for probabilistic systems applied to risk-limiting renewable-energy pricing. In Proceedings of the 14th international conference on embedded software (pp. 1\u201310).","DOI":"10.1145\/2656045.2656069"},{"year":"2014","series-title":"Markov decision processes: Discrete stochastic dynamic programming","author":"Puterman","key":"10.1016\/j.arcontrol.2024.100940_b271"},{"key":"10.1016\/j.arcontrol.2024.100940_b272","doi-asserted-by":"crossref","unstructured":"Qian, L., & Liu, J. (2020). Safe reinforcement learning via probabilistic timed computation tree logic. In International joint conference on neural networks (pp. 1\u20138).","DOI":"10.1109\/IJCNN48605.2020.9207384"},{"key":"10.1016\/j.arcontrol.2024.100940_b273","doi-asserted-by":"crossref","unstructured":"Qin, X., Xia, Y., Zutshi, A., Fan, C., & Deshmukh, J. V. (2022). Statistical verification of cyber-physical systems using surrogate models and conformal inference. In ACM\/IEEE international conference on cyber-physical systems (pp. 116\u2013126).","DOI":"10.1109\/ICCPS54341.2022.00017"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b274","doi-asserted-by":"crossref","first-page":"206","DOI":"10.1137\/0325013","article-title":"Supervisory control of a class of discrete event processes","volume":"25","author":"Ramadge","year":"1987","journal-title":"SIAM Journal on Control and Optimization"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b275","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1109\/5.21072","article-title":"The control of discrete event systems","volume":"77","author":"Ramadge","year":"1989","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/j.arcontrol.2024.100940_b276","doi-asserted-by":"crossref","unstructured":"Raman, V., Donz\u00e9, A., Maasoumy, M., Murray, R. M., Sangiovanni-Vincentelli, A., & Seshia, S. A. (2014). Model predictive control with signal temporal logic specifications. In IEEE conference on decision and control (pp. 81\u201387).","DOI":"10.1109\/CDC.2014.7039363"},{"key":"10.1016\/j.arcontrol.2024.100940_b277","doi-asserted-by":"crossref","unstructured":"Raman, V., Donz\u00e9, A., Sadigh, D., Murray, R. M., & Seshia, S. A. (2015). Reactive synthesis from signal temporal logic specifications. In ACM International conference on hybrid systems: Computation and control (pp. 239\u2013248).","DOI":"10.1145\/2728606.2728628"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100940_b278","doi-asserted-by":"crossref","first-page":"5665","DOI":"10.1109\/TAC.2020.3039484","article-title":"Secure control in partially observable environments to satisfy LTL specifications","volume":"66","author":"Ramasubramanian","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"year":"2012","series-title":"Petri nets: An introduction, volume 4","author":"Reisig","key":"10.1016\/j.arcontrol.2024.100940_b279"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b280","doi-asserted-by":"crossref","first-page":"1781","DOI":"10.1109\/TAC.2016.2593947","article-title":"Feedback refinement relations for the synthesis of symbolic controllers","volume":"62","author":"Reissig","year":"2016","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b281","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2020.108828","article-title":"Symbolic abstractions for nonlinear control systems via feedback refinement relation","volume":"114","author":"Ren","year":"2020","journal-title":"Automatica"},{"year":"2023","series-title":"Robots that ask for help: Uncertainty alignment for large language model planners","author":"Ren","key":"10.1016\/j.arcontrol.2024.100940_b282"},{"key":"10.1016\/j.arcontrol.2024.100940_b283","doi-asserted-by":"crossref","first-page":"619","DOI":"10.1109\/LCSYS.2022.3209928","article-title":"Combined left and right temporal robustness for control under STL specifications","volume":"7","author":"Rodionova","year":"2022","journal-title":"IEEE Control Systems Letters"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b284","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3550072","article-title":"Temporal robustness of temporal logic specifications: Analysis and control design","volume":"22","author":"Rodionova","year":"2022","journal-title":"ACM Transactions on Embedded Computing Systems"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b285","doi-asserted-by":"crossref","first-page":"2108","DOI":"10.1109\/TAC.2015.2492438","article-title":"A notion of robustness for cyber-physical systems","volume":"61","author":"Rungger","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b286","doi-asserted-by":"crossref","unstructured":"Sadraddini, S., & Belta, C. (2015). Robust temporal logic model predictive control. In Annual allerton conference on communication, control, and computing (pp. 772\u2013779).","DOI":"10.1109\/ALLERTON.2015.7447084"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b287","first-page":"480","article-title":"Formal synthesis of control strategies for positive monotone systems","volume":"64","author":"Sadraddini","year":"2018","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b288","doi-asserted-by":"crossref","unstructured":"Saha, S., & Julius, A. A. (2016). An MILP approach for real-time optimal controller synthesis with metric temporal logic specifications. In American control conference (pp. 1105\u20131110).","DOI":"10.1109\/ACC.2016.7525063"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b289","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1109\/LRA.2017.2755078","article-title":"Task and motion planning for manipulator arms with metric temporal logic specifications","volume":"3","author":"Saha","year":"2017","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b290","doi-asserted-by":"crossref","first-page":"1189","DOI":"10.1109\/TRO.2019.2957669","article-title":"Multirobot coordination with counting temporal logics","volume":"36","author":"Sahin","year":"2019","journal-title":"IEEE Transactions on Robotics"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b291","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1109\/LCSYS.2020.2971029","article-title":"On-line permissive supervisory control of discrete event systems for scLTL specifications","volume":"4","author":"Sakakibara","year":"2020","journal-title":"IEEE Control Systems Letters"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b292","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1016\/j.ifacol.2021.08.466","article-title":"Data-driven safety verification of stochastic systems via barrier certificates","volume":"54","author":"Salamati","year":"2021","journal-title":"IFAC-PapersOnLine"},{"key":"10.1016\/j.arcontrol.2024.100940_b293","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2023.111323","article-title":"Data-driven verification and synthesis of stochastic systems via barrier certificates","volume":"159","author":"Salamati","year":"2024","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100940_b294","doi-asserted-by":"crossref","first-page":"448","DOI":"10.1109\/LCSYS.2022.3186932","article-title":"Safety verification of stochastic systems: A repetitive scenario approach","volume":"7","author":"Salamati","year":"2022","journal-title":"IEEE Control Systems Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b295","doi-asserted-by":"crossref","unstructured":"Schillinger, P., B\u00fcrger, M., & Dimarogonas, D. V. (2018a). Decomposition of finite LTL specifications for efficient multi-agent planning. In International symposium on Distributed autonomous robotic systems (pp. 253\u2013267).","DOI":"10.1007\/978-3-319-73008-0_18"},{"issue":"7","key":"10.1016\/j.arcontrol.2024.100940_b296","doi-asserted-by":"crossref","first-page":"818","DOI":"10.1177\/0278364918774135","article-title":"Simultaneous task allocation and planning for temporal logic goals in heterogeneous multi-robot systems","volume":"37","author":"Schillinger","year":"2018","journal-title":"International Journal of Robotics Research"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b297","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1109\/TAC.2010.2067250","article-title":"Maximally permissive hierarchical control of decentralized discrete event systems","volume":"56","author":"Schmidt","year":"2010","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b298","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/s10626-017-0239-8","article-title":"Dynamic hierarchical reactive controller synthesis","volume":"27","author":"Schmuck","year":"2017","journal-title":"Discrete Event Dynamic Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b299","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1016\/j.sysconle.2014.08.005","article-title":"Asynchronous l-complete approximations","volume":"73","author":"Schmuck","year":"2014","journal-title":"Systems & Control Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b300","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1007\/s10626-015-0221-2","article-title":"Supervisory control synthesis for deterministic context free specification languages: Enforcing controllability least restrictively","volume":"26","author":"Schmuck","year":"2016","journal-title":"Discrete Event Dynamic Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b301","doi-asserted-by":"crossref","unstructured":"Sch\u00f6n, O., van Huijgevoort, B., Haesaert, S., & Soudjani, S. (2022). Correct-by-Design Control of Parametric Stochastic Systems. In IEEE conference on decision and control (pp. 5580\u20135587).","DOI":"10.1109\/CDC51059.2022.9992723"},{"key":"10.1016\/j.arcontrol.2024.100940_b302","doi-asserted-by":"crossref","unstructured":"Schuppe, G. F., & Tumova, J. (2020). Multi-agent strategy synthesis for LTL specifications through assumption composition. In IEEE international conference on automation science and engineering (pp. 533\u2013540).","DOI":"10.1109\/CASE48305.2020.9216991"},{"key":"10.1016\/j.arcontrol.2024.100940_b303","doi-asserted-by":"crossref","first-page":"187","DOI":"10.1146\/annurev-control-060117-105157","article-title":"Planning and decision-making for autonomous vehicles","volume":"1","author":"Schwarting","year":"2018","journal-title":"Annual Review of Control, Robotics, and Autonomous Systems"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b304","doi-asserted-by":"crossref","first-page":"988","DOI":"10.1109\/TIV.2022.3204574","article-title":"Formal development of safe automated driving using differential dynamic logic","volume":"8","author":"Selvaraj","year":"2022","journal-title":"IEEE Transactions on Intelligent Vehicles"},{"key":"10.1016\/j.arcontrol.2024.100940_b305","doi-asserted-by":"crossref","first-page":"2017","DOI":"10.1109\/LCSYS.2023.3284200","article-title":"Security-preserving multi-robot path planning for Boolean specification tasks using labeled Petri nets","volume":"7","author":"Shi","year":"2023","journal-title":"IEEE Control Systems Letters"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b306","doi-asserted-by":"crossref","first-page":"6091","DOI":"10.1109\/LRA.2022.3165184","article-title":"Path planning of multi-robot systems with boolean specifications based on simulated annealing","volume":"7","author":"Shi","year":"2022","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b307","doi-asserted-by":"crossref","first-page":"780","DOI":"10.1109\/TAC.2021.3058068","article-title":"Automatic trajectory synthesis for real-time temporal logic","volume":"67","author":"da Silva","year":"2021","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"14","key":"10.1016\/j.arcontrol.2024.100940_b308","doi-asserted-by":"crossref","first-page":"1695","DOI":"10.1177\/0278364911417911","article-title":"Optimal path planning for surveillance with temporal-logic constraints","volume":"30","author":"Smith","year":"2011","journal-title":"International Journal of Robotics Research"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b309","doi-asserted-by":"crossref","first-page":"363","DOI":"10.1109\/TRO.2020.3031254","article-title":"Control of mobile robots using barrier functions under temporal logic specifications","volume":"37","author":"Srinivasan","year":"2020","journal-title":"IEEE Transactions on Robotics"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100940_b310","doi-asserted-by":"crossref","first-page":"1951","DOI":"10.1016\/j.automatica.2010.08.006","article-title":"Verification of discrete time stochastic hybrid systems: A stochastic reach-avoid decision problem","volume":"46","author":"Summers","year":"2010","journal-title":"Automatica"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b311","doi-asserted-by":"crossref","first-page":"3451","DOI":"10.1109\/LRA.2022.3146951","article-title":"Multi-agent motion planning from signal temporal logic specifications","volume":"7","author":"Sun","year":"2022","journal-title":"IEEE Robotics and Automation Letters"},{"year":"2022","series-title":"Neurosymbolic motion and task planning for linear temporal logic tasks","author":"Sun","key":"10.1016\/j.arcontrol.2024.100940_b312"},{"year":"2018","series-title":"Reinforcement learning: An introduction","author":"Sutton","key":"10.1016\/j.arcontrol.2024.100940_b313"},{"year":"2009","series-title":"Verification and control of hybrid systems: A symbolic approach","author":"Tabuada","key":"10.1016\/j.arcontrol.2024.100940_b314"},{"key":"10.1016\/j.arcontrol.2024.100940_b315","doi-asserted-by":"crossref","unstructured":"Tabuada, P., & Pappas, G. J. (2003). Model checking LTL over controllable linear systems is decidable. In International workshop on hybrid systems: Computation and control (pp. 498\u2013513).","DOI":"10.1007\/3-540-36580-X_36"},{"key":"10.1016\/j.arcontrol.2024.100940_b316","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1016\/j.entcs.2004.01.029","article-title":"Monitoring algorithms for metric temporal logic specifications","volume":"113","author":"Thati","year":"2005","journal-title":"Electronic Notes in Theoretical Computer Science"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b317","doi-asserted-by":"crossref","first-page":"1297","DOI":"10.1080\/00207543.2016.1201604","article-title":"An event-driven manufacturing information system architecture for Industry 4.0","volume":"55","author":"Theorin","year":"2017","journal-title":"International Journal of Production Research"},{"issue":"7","key":"10.1016\/j.arcontrol.2024.100940_b318","doi-asserted-by":"crossref","first-page":"7113","DOI":"10.1109\/TIE.2022.3203752","article-title":"Two-phase motion planning under signal temporal logic specifications in partially unknown environments","volume":"70","author":"Tian","year":"2022","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"10.1016\/j.arcontrol.2024.100940_b319","doi-asserted-by":"crossref","first-page":"265","DOI":"10.1109\/LCSYS.2022.3187313","article-title":"Synthesizing attack-aware control and active sensing strategies under reactive sensor attacks","volume":"7","author":"Udupa","year":"2022","journal-title":"IEEE Control Systems Letters"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100940_b320","doi-asserted-by":"crossref","first-page":"1593","DOI":"10.1177\/0278364914537008","article-title":"Receding horizon temporal logic control in dynamic environments","volume":"33","author":"Ulusoy","year":"2014","journal-title":"International Journal of Robotics Research"},{"key":"10.1016\/j.arcontrol.2024.100940_b321","doi-asserted-by":"crossref","unstructured":"Ulusoy, A., Marrazzo, M., Oikonomopoulos, K., Hunter, R., & Belta, C. (2013). Temporal logic control for an autonomous quadrotor in a nondeterministic environment. In IEEE international conference on robotics and automation (pp. 331\u2013336).","DOI":"10.1109\/ICRA.2013.6630596"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b322","doi-asserted-by":"crossref","first-page":"889","DOI":"10.1177\/0278364913487931","article-title":"Optimality and robustness in multi-robot path planning with temporal logic constraints","volume":"32","author":"Ulusoy","year":"2013","journal-title":"International Journal of Robotics Research"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b323","doi-asserted-by":"crossref","first-page":"1130","DOI":"10.1177\/0278364913519000","article-title":"Incremental controller synthesis in probabilistic environments with temporal logic constraints","volume":"33","author":"Ulusoy","year":"2014","journal-title":"International Journal of Robotics Research"},{"key":"10.1016\/j.arcontrol.2024.100940_b324","doi-asserted-by":"crossref","unstructured":"Van Huijgevoort, B., Sch\u00f6n, O., Soudjani, S., & Haesaert, S. (2023). SySCoRe: Synthesis via stochastic coupling relations. In Proceedings of the 26th ACM international conference on hybrid systems: Computation and control (pp. 1\u201311).","DOI":"10.1145\/3575870.3587123"},{"key":"10.1016\/j.arcontrol.2024.100940_b325","series-title":"Logics for Concurrency: Structure versus Automata","first-page":"238","article-title":"An automata-theoretic approach to linear temporal logic","author":"Vardi","year":"2005"},{"key":"10.1016\/j.arcontrol.2024.100940_b326","doi-asserted-by":"crossref","unstructured":"Vasile, C. I., & Belta, C. (2013). Sampling-based temporal logic path planning. In IEEE\/RSJ international conference on intelligent robots and systems (pp. 4817\u20134822).","DOI":"10.1109\/IROS.2013.6697051"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b327","doi-asserted-by":"crossref","first-page":"1002","DOI":"10.1177\/0278364920918919","article-title":"Reactive sampling-based path planning with temporal logic specifications","volume":"39","author":"Vasile","year":"2020","journal-title":"International Journal of Robotics Research"},{"key":"10.1016\/j.arcontrol.2024.100940_b328","doi-asserted-by":"crossref","unstructured":"Vasile, C. -I., Tumova, J., Karaman, S., Belta, C., & Rus, D. (2017). Minimum-violation scLTL motion planning for mobility-on-demand. In IEEE international conference on robotics and automation (pp. 1481\u20131488).","DOI":"10.1109\/ICRA.2017.7989177"},{"key":"10.1016\/j.arcontrol.2024.100940_b329","first-page":"5998","article-title":"Attention is all you need","volume":"30","author":"Vaswani","year":"2017","journal-title":"Advances in Neural Information Processing Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b330","unstructured":"Venkataraman, H., Aksaray, D., & Seiler, P. (2020). Tractable reinforcement learning of signal temporal logic objectives. In The conference on learning for dynamics and control (pp. 308\u2013317)."},{"key":"10.1016\/j.arcontrol.2024.100940_b331","doi-asserted-by":"crossref","unstructured":"Verginis, C. K., Vrohidis, C., Bechlioulis, C. P., Kyriakopoulos, K. J., & Dimarogonas, D. V. (2019). Reconfigurable motion planning and control in obstacle cluttered environments under timed temporal tasks. In IEEE international conference on robotics and automation (pp. 951\u2013957).","DOI":"10.1109\/ICRA.2019.8794000"},{"year":"2011","series-title":"Finite-state abstractions for probabilistic computation tree logic","author":"Wagner","key":"10.1016\/j.arcontrol.2024.100940_b332"},{"key":"10.1016\/j.arcontrol.2024.100940_b333","doi-asserted-by":"crossref","unstructured":"Wang, S., Li, S., & Yin, X. (2024). Synthesis of Temporally-Robust Policies for Signal Temporal Logic Tasks using Reinforcement Learning. In IEEE international conference on robotics and automation.","DOI":"10.1109\/ICRA57147.2024.10610510"},{"key":"10.1016\/j.arcontrol.2024.100940_b334","doi-asserted-by":"crossref","unstructured":"Wang, Y., Nalluri, S., & Pajic, M. (2020). Hyperproperties for robotics: Planning via HyperLTL. In IEEE international conference on robotics and automation (pp. 8462\u20138468).","DOI":"10.1109\/ICRA40945.2020.9196874"},{"key":"10.1016\/j.arcontrol.2024.100940_b335","doi-asserted-by":"crossref","unstructured":"Wang, W., Schuppe, G. F., & Tumova, J. (2022). Decentralized Multi-agent Coordination under MITL Tasks and Communication Constraints. In ACM\/IEEE international conference on cyber-physical systems (pp. 320\u2013321).","DOI":"10.1109\/ICCPS54341.2022.00051"},{"year":"2023","series-title":"Conformal temporal logic planning using large language models: Knowing when to do what and when to ask for help","author":"Wang","key":"10.1016\/j.arcontrol.2024.100940_b336"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100940_b337","doi-asserted-by":"crossref","first-page":"462","DOI":"10.3182\/20070822-3-ZA-2920.00076","article-title":"Constructive safety using control barrier functions","volume":"40","author":"Wieland","year":"2007","journal-title":"IFAC Proceedings Volumes"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b338","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1109\/JPROC.2017.2781198","article-title":"Safety and security in cyber-physical systems and Internet-of-Things systems","volume":"106","author":"Wolf","year":"2017","journal-title":"Proceedings of the IEEE"},{"key":"10.1016\/j.arcontrol.2024.100940_b339","doi-asserted-by":"crossref","unstructured":"Wolff, E. M., & Murray, R. M. (2016). Optimal control of nonlinear systems with temporal logic specifications. In International symposium on robotics research (pp. 21\u201337).","DOI":"10.1007\/978-3-319-28872-7_2"},{"key":"10.1016\/j.arcontrol.2024.100940_b340","doi-asserted-by":"crossref","unstructured":"Wolff, E. M., Topcu, U., & Murray, R. M. (2012). Robust control of uncertain Markov decision processes with temporal logic specifications. In IEEE conference on decision and control (pp. 3372\u20133379).","DOI":"10.1109\/CDC.2012.6426174"},{"key":"10.1016\/j.arcontrol.2024.100940_b341","doi-asserted-by":"crossref","unstructured":"Wolff, E. M., Topcu, U., & Murray, R. M. (2013). Efficient reactive controller synthesis for a fragment of linear temporal logic. In IEEE international conference on robotics and automation (pp. 5033\u20135040).","DOI":"10.1109\/ICRA.2013.6631296"},{"key":"10.1016\/j.arcontrol.2024.100940_b342","doi-asserted-by":"crossref","unstructured":"Wolff, E. M., Topcu, U., & Murray, R. M. (2014). Optimization-based trajectory generation with linear temporal logic specifications. In IEEE international conference on robotics and automation (pp. 5319\u20135325).","DOI":"10.1109\/ICRA.2014.6907641"},{"key":"10.1016\/j.arcontrol.2024.100940_b343","doi-asserted-by":"crossref","first-page":"241","DOI":"10.1007\/BF01797154","article-title":"Hierarchical control of discrete-event systems","volume":"6","author":"Wong","year":"1996","journal-title":"Discrete Event Dynamic Systems"},{"issue":"11","key":"10.1016\/j.arcontrol.2024.100940_b344","doi-asserted-by":"crossref","first-page":"3344","DOI":"10.1109\/TAC.2015.2511722","article-title":"Automata theory meets barrier certificates: Temporal logic verification of nonlinear systems","volume":"61","author":"Wongpiromsarn","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"11","key":"10.1016\/j.arcontrol.2024.100940_b345","doi-asserted-by":"crossref","first-page":"2817","DOI":"10.1109\/TAC.2012.2195811","article-title":"Receding horizon temporal logic planning","volume":"57","author":"Wongpiromsarn","year":"2012","journal-title":"IEEE Transactions on Automatic Control"},{"year":"2019","series-title":"Supervisory control of discrete-event systems","author":"Wonham","key":"10.1016\/j.arcontrol.2024.100940_b346"},{"key":"10.1016\/j.arcontrol.2024.100940_b347","doi-asserted-by":"crossref","unstructured":"Wu, B., & Lin, H. (2015). Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning. In American control conference (pp. 2894\u20132899).","DOI":"10.1109\/ACC.2015.7171174"},{"key":"10.1016\/j.arcontrol.2024.100940_b348","doi-asserted-by":"crossref","unstructured":"Wu, B., & Lin, H. (2016). Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning. In American control conference (pp. 5519\u20135524).","DOI":"10.1109\/ACC.2016.7526535"},{"key":"10.1016\/j.arcontrol.2024.100940_b349","doi-asserted-by":"crossref","unstructured":"Wu, M., Wang, J., Deshmukh, J., & Wang, C. (2019). Shield synthesis for real: Enforcing safety in cyber-physical systems. In Formal methods in computer aided design (pp. 129\u2013137).","DOI":"10.23919\/FMCAD.2019.8894264"},{"issue":"11","key":"10.1016\/j.arcontrol.2024.100940_b350","doi-asserted-by":"crossref","first-page":"5777","DOI":"10.1109\/TNNLS.2018.2808470","article-title":"Output reachable set estimation and verification for multilayer neural networks","volume":"29","author":"Xiang","year":"2018","journal-title":"IEEE Transactions on Neural Networks and Learning Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b351","doi-asserted-by":"crossref","unstructured":"Xiao, W., & Belta, C. (2019). Control barrier functions for systems with high relative degree. In IEEE conference on decision and control (pp. 474\u2013479).","DOI":"10.1109\/CDC40024.2019.9029455"},{"key":"10.1016\/j.arcontrol.2024.100940_b352","doi-asserted-by":"crossref","unstructured":"Xiao, W., Belta, C. A., & Cassandras, C. G. (2021). High order control lyapunov-barrier functions for temporal logic specifications. In American control conference (pp. 4886\u20134891).","DOI":"10.23919\/ACC50511.2021.9483028"},{"year":"2023","series-title":"Safe autonomy with control barrier functions: Theory and applications","author":"Xiao","key":"10.1016\/j.arcontrol.2024.100940_b353"},{"key":"10.1016\/j.arcontrol.2024.100940_b354","doi-asserted-by":"crossref","unstructured":"Xie, Y., Yin, X., Li, S., & Zamani, M. (2021). Secure-by-construction controller synthesis for stochastic systems under linear temporal logic specifications. In IEEE conference on decision and control (pp. 7015\u20137021).","DOI":"10.1109\/CDC45484.2021.9683745"},{"key":"10.1016\/j.arcontrol.2024.100940_b355","series-title":"American control conference","first-page":"1580","article-title":"Coordinated control of wind turbine generator and energy storage system for frequency regulation under temporal logic specifications","author":"Xu","year":"2018"},{"year":"2019","series-title":"Controller synthesis of wind turbine generator and energy storage system with stochastic wind variations under temporal logic specifications","author":"Xu","key":"10.1016\/j.arcontrol.2024.100940_b356"},{"key":"10.1016\/j.arcontrol.2024.100940_b357","doi-asserted-by":"crossref","unstructured":"Xu, Z., Nettekoven, A. J., Julius, A. A., & Topcu, U. (2019). Graph temporal logic inference for classification and identification. In IEEE conference on decision and control (pp. 4761\u20134768).","DOI":"10.1109\/CDC40024.2019.9029181"},{"key":"10.1016\/j.arcontrol.2024.100940_b358","doi-asserted-by":"crossref","unstructured":"Xu, Z., Yazdani, K., Hale, M. T., & Topcu, U. (2020). Differentially private controller synthesis with metric temporal logic specifications. In American control conference (pp. 4745\u20134750).","DOI":"10.23919\/ACC45564.2020.9147949"},{"key":"10.1016\/j.arcontrol.2024.100940_b359","doi-asserted-by":"crossref","first-page":"91324","DOI":"10.1109\/ACCESS.2023.3308050","article-title":"Controller synthesis for multi-agent systems with intermittent communication and metric temporal logic specifications","volume":"11","author":"Xu","year":"2023","journal-title":"IEEE Access"},{"key":"10.1016\/j.arcontrol.2024.100940_b360","series-title":"IEEE conference on decision and control","first-page":"3519","article-title":"Provably correct controller synthesis of switched stochastic systems with metric temporal logic specifications: A case study on power systems","author":"Xu","year":"2021"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b361","doi-asserted-by":"crossref","first-page":"9413","DOI":"10.1109\/LRA.2022.3191236","article-title":"Distributed consensus-based online monitoring of robot swarms with temporal logic specifications","volume":"7","author":"Yan","year":"2022","journal-title":"IEEE Robotics and Automation Letters"},{"issue":"3","key":"10.1016\/j.arcontrol.2024.100940_b362","doi-asserted-by":"crossref","first-page":"3021","DOI":"10.1109\/LRA.2019.2924843","article-title":"Swarm signal temporal logic inference for swarm behavior analysis","volume":"4","author":"Yan","year":"2019","journal-title":"IEEE Robotics and Automation Letters"},{"key":"10.1016\/j.arcontrol.2024.100940_b363","doi-asserted-by":"crossref","unstructured":"Yang, G., Belta, C., & Tron, R. (2020). Continuous-time signal temporal logic planning with control barrier functions. In American control conference (pp. 4612\u20134618).","DOI":"10.23919\/ACC45564.2020.9147387"},{"key":"10.1016\/j.arcontrol.2024.100940_b364","doi-asserted-by":"crossref","first-page":"1207","DOI":"10.1109\/LCSYS.2022.3233322","article-title":"Differentiable safe controller design through control barrier functions","volume":"7","author":"Yang","year":"2022","journal-title":"IEEE Control Systems Letters"},{"year":"2024","series-title":"Learning local control barrier functions for safety control of hybrid systems","author":"Yang","key":"10.1016\/j.arcontrol.2024.100940_b365"},{"year":"2023","series-title":"Safe perception-based control under stochastic sensor uncertainty using conformal prediction","author":"Yang","key":"10.1016\/j.arcontrol.2024.100940_b366"},{"key":"10.1016\/j.arcontrol.2024.100940_b367","doi-asserted-by":"crossref","unstructured":"Yang, S., Yin, X., Li, S., & Zamani, M. (2020). Secure-by-construction optimal path planning for linear temporal logic tasks. In IEEE conference on decision and control (pp. 4460\u20134466).","DOI":"10.1109\/CDC42340.2020.9304153"},{"key":"10.1016\/j.arcontrol.2024.100940_b368","article-title":"Distributed model predictive control for probabilistic signal temporal logic specifications","author":"Yang","year":"2023","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"10.1016\/j.arcontrol.2024.100940_b369","doi-asserted-by":"crossref","DOI":"10.1016\/j.conengprac.2023.105782","article-title":"Signal temporal logic synthesis under model predictive control: A low complexity approach","volume":"143","author":"Yang","year":"2024","journal-title":"Control Engineering Practice"},{"key":"10.1016\/j.arcontrol.2024.100940_b370","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2023.111330","article-title":"Sensor deception attacks against security in supervisory control systems","volume":"159","author":"Yao","year":"2024","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100940_b371","doi-asserted-by":"crossref","unstructured":"Yao, J., Yin, X., & Li, S. (2020). On attack mitigation in supervisory control systems: A tolerant control approach. In IEEE conference on decision and control (pp. 4504\u20134510).","DOI":"10.1109\/CDC42340.2020.9304130"},{"issue":"5","key":"10.1016\/j.arcontrol.2024.100940_b372","doi-asserted-by":"crossref","first-page":"1239","DOI":"10.1109\/TAC.2015.2460391","article-title":"Synthesis of maximally permissive supervisors for partially-observed discrete-event systems","volume":"61","author":"Yin","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"8","key":"10.1016\/j.arcontrol.2024.100940_b373","doi-asserted-by":"crossref","first-page":"2140","DOI":"10.1109\/TAC.2015.2484359","article-title":"A uniform approach for synthesizing property-enforcing supervisors for partially-observed discrete-event systems","volume":"61","author":"Yin","year":"2015","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100940_b374","doi-asserted-by":"crossref","first-page":"4435","DOI":"10.1109\/TAC.2018.2828098","article-title":"Synthesis of maximally permissive nonblocking supervisors for the lower bound containment problem","volume":"63","author":"Yin","year":"2018","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"4","key":"10.1016\/j.arcontrol.2024.100940_b375","doi-asserted-by":"crossref","first-page":"1630","DOI":"10.1109\/TAC.2020.2998733","article-title":"On approximate opacity of cyber-physical systems","volume":"66","author":"Yin","year":"2020","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b376","doi-asserted-by":"crossref","unstructured":"Yoo, C., Fitch, R., & Sukkarieh, S. (2013). Provably-correct stochastic motion planning with safety constraints. In IEEE international conference on robotics and automation (pp. 981\u2013986).","DOI":"10.1109\/ICRA.2013.6630692"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b377","doi-asserted-by":"crossref","first-page":"1047","DOI":"10.1109\/TRO.2021.3088764","article-title":"Distributed motion coordination for multirobot systems under LTL specifications","volume":"38","author":"Yu","year":"2021","journal-title":"IEEE Transactions on Robotics"},{"key":"10.1016\/j.arcontrol.2024.100940_b378","doi-asserted-by":"crossref","unstructured":"Yu, P., & Dimarogonas, D. V. (2021b). Hierarchical control for uncertain discrete-time nonlinear systems under signal temporal logic specifications. In IEEE conference on decision and control (pp. 1450\u20131455).","DOI":"10.1109\/CDC45484.2021.9683157"},{"key":"10.1016\/j.arcontrol.2024.100940_b379","doi-asserted-by":"crossref","unstructured":"Yu, X., Wang, C., Yuan, D., Li, S., & Yin, X. (2023). Model Predictive Control for Signal Temporal Logic Specifications with Time Interval Decomposition. In IEEE conference on decision and control (pp. 7849\u20137855).","DOI":"10.1109\/CDC49753.2023.10383500"},{"key":"10.1016\/j.arcontrol.2024.100940_b380","doi-asserted-by":"crossref","DOI":"10.1016\/j.conengprac.2022.105130","article-title":"Security-preserving multi-agent coordination for complex temporal logic tasks","volume":"123","author":"Yu","year":"2022","journal-title":"Control Engineering Practice"},{"key":"10.1016\/j.arcontrol.2024.100940_b381","doi-asserted-by":"crossref","unstructured":"Yu, X., Yin, X., & Lindemann, L. (2023). Efficient STL Control Synthesis under Asynchronous Temporal Robustness Constraints. In IEEE conference on decision and control (pp. 6841\u20136848).","DOI":"10.1109\/CDC49753.2023.10384038"},{"key":"10.1016\/j.arcontrol.2024.100940_b382","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1016\/j.automatica.2015.03.004","article-title":"Symbolic models for stochastic switched systems: A discretization and a discretization-free approach","volume":"55","author":"Zamani","year":"2015","journal-title":"Automatica"},{"issue":"12","key":"10.1016\/j.arcontrol.2024.100940_b383","doi-asserted-by":"crossref","first-page":"3135","DOI":"10.1109\/TAC.2014.2351652","article-title":"Symbolic control of stochastic systems via approximately bisimilar finite abstractions","volume":"59","author":"Zamani","year":"2014","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"7","key":"10.1016\/j.arcontrol.2024.100940_b384","doi-asserted-by":"crossref","first-page":"1804","DOI":"10.1109\/TAC.2011.2176409","article-title":"Symbolic models for nonlinear control systems without stability assumptions","volume":"57","author":"Zamani","year":"2011","journal-title":"IEEE Transactions on Automatic Control"},{"key":"10.1016\/j.arcontrol.2024.100940_b385","doi-asserted-by":"crossref","unstructured":"Zhang, C., Saluja, T., Meira-G\u00f3es, R., Bolton, M., Garlan, D., & Kang, E. (2023). Robustification of behavioral designs against environmental deviations. In IEEE\/ACM international conference on software engineering (pp. 423\u2013434).","DOI":"10.1109\/ICSE48619.2023.00046"},{"key":"10.1016\/j.arcontrol.2024.100940_b386","series-title":"IEEE conference on decision and control","first-page":"7470","article-title":"Learning based supervisor synthesis of pomdp for pctl specifications","author":"Zhang","year":"2015"},{"key":"10.1016\/j.arcontrol.2024.100940_b387","series-title":"Handbook of Reinforcement Learning and Control","first-page":"321","article-title":"Multi-agent reinforcement learning: A selective overview of theories and algorithms","author":"Zhang","year":"2021"},{"key":"10.1016\/j.arcontrol.2024.100940_b388","doi-asserted-by":"crossref","DOI":"10.1109\/TAC.2024.3355378","article-title":"A unified framework for verification of observational properties for partially-observed discrete-event systems","author":"Zhao","year":"2024","journal-title":"IEEE Transactions on Automatic Control"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b389","doi-asserted-by":"crossref","first-page":"4582","DOI":"10.1016\/j.ifacol.2023.10.959","article-title":"Failure-aware self-diagnostic task planning under temporal logic specifications","volume":"56","author":"Zhao","year":"2023","journal-title":"IFAC-PapersOnLine"},{"issue":"1","key":"10.1016\/j.arcontrol.2024.100940_b390","doi-asserted-by":"crossref","first-page":"232","DOI":"10.1109\/TIV.2022.3170517","article-title":"Formal certification methods for automated vehicle safety assessment","volume":"8","author":"Zhao","year":"2022","journal-title":"IEEE Transactions on Intelligent Vehicles"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b391","doi-asserted-by":"crossref","first-page":"11337","DOI":"10.1016\/j.ifacol.2023.10.416","article-title":"To explore or not to explore: Regret-based LTL planning in partially-known environments","volume":"56","author":"Zhao","year":"2023","journal-title":"IFAC-PapersOnLine"},{"key":"10.1016\/j.arcontrol.2024.100940_b392","doi-asserted-by":"crossref","unstructured":"Zheng, Y., Lai, A., Lan, W., & Yu, X. (2023). Optimal Path Planning With Opacity-Preserving Temporal Logic Specifications Using Bipartite Synthesizers. In IEEE conference on decision and control (pp. 7862\u20137867).","DOI":"10.1109\/CDC49753.2023.10383570"},{"key":"10.1016\/j.arcontrol.2024.100940_b393","series-title":"AAAI conference on artificial intelligence","first-page":"15340","article-title":"Towards safe AI: Sandboxing dnns-based controllers in stochastic games","author":"Zhong","year":"2023"},{"issue":"2","key":"10.1016\/j.arcontrol.2024.100940_b394","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3377868","article-title":"Extending signal temporal logic with quantitative semantics by intervals for robust monitoring of cyber-physical systems","volume":"5","author":"Zhong","year":"2021","journal-title":"ACM Transactions on Cyber-Physical Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b395","doi-asserted-by":"crossref","DOI":"10.1016\/j.nahs.2021.101110","article-title":"Safe-visor architecture for sandboxing (AI-based) unverified controllers in stochastic cyber\u2013physical systems","volume":"43","author":"Zhong","year":"2021","journal-title":"Nonlinear Analysis. Hybrid Systems"},{"key":"10.1016\/j.arcontrol.2024.100940_b396","doi-asserted-by":"crossref","DOI":"10.1016\/j.automatica.2022.110696","article-title":"Automata-based controller synthesis for stochastic systems: A game framework via approximate probabilistic relations","volume":"147","author":"Zhong","year":"2023","journal-title":"Automatica"},{"key":"10.1016\/j.arcontrol.2024.100940_b397","doi-asserted-by":"crossref","unstructured":"Zhong, B., Zamani, M., & Caccamo, M. (2022). Synthesizing Safety Controllers for Uncertain Linear Systems: A Direct Data-driven Approach. In IEEE conference on control technology and applications (pp. 1278\u20131284).","DOI":"10.1109\/CCTA49430.2022.9966144"},{"issue":"6","key":"10.1016\/j.arcontrol.2024.100940_b398","doi-asserted-by":"crossref","first-page":"5983","DOI":"10.1109\/TIE.2023.3299048","article-title":"Vision-based reactive temporal logic motion planning for quadruped robots in unstructured dynamic environments","volume":"71","author":"Zhou","year":"2024","journal-title":"IEEE Transactions on Industrial Electronics"},{"key":"10.1016\/j.arcontrol.2024.100940_b399","article-title":"Local observation based reactive temporal logic planning of human-robot systems","author":"Zhou","year":"2023","journal-title":"IEEE Transactions on Automation Science and Engineering"}],"container-title":["Annual Reviews in Control"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1367578824000099?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1367578824000099?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2024,11,14]],"date-time":"2024-11-14T04:38:44Z","timestamp":1731559124000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1367578824000099"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024]]},"references-count":399,"alternative-id":["S1367578824000099"],"URL":"https:\/\/doi.org\/10.1016\/j.arcontrol.2024.100940","relation":{},"ISSN":["1367-5788"],"issn-type":[{"type":"print","value":"1367-5788"}],"subject":[],"published":{"date-parts":[[2024]]},"assertion":[{"value":"Elsevier","name":"publisher","label":"This article is maintained by"},{"value":"Formal synthesis of controllers for safety-critical autonomous systems: Developments and challenges","name":"articletitle","label":"Article Title"},{"value":"Annual Reviews in Control","name":"journaltitle","label":"Journal Title"},{"value":"https:\/\/doi.org\/10.1016\/j.arcontrol.2024.100940","name":"articlelink","label":"CrossRef DOI link to publisher maintained version"},{"value":"article","name":"content_type","label":"Content Type"},{"value":"\u00a9 2024 Elsevier Ltd. All rights reserved.","name":"copyright","label":"Copyright"}],"article-number":"100940"}}