{"month":"12","acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (Grant agreement No. 101019564 “The Design of Modern Fully Dynamic Data Structures (MoDynStruct)” and from the Austrian Science Fund (FWF) project “Fast Algorithms for a Reactive Network Layer (ReactNet)”, P 33775-N, with additional funding from the netidee SCIENCE Stiftung, 2020–2024.","abstract":[{"text":"This article presents two fine-grained complexity lower bounds with relevance to algorithmic problems in computer aided verification. We have chosen these lower bounds as the proofs are relatively simple, but the techniques can be extended to give lower bounds for many more algorithmic problems. The goal is to present the bounds with minimal notation, making the results accessible to a broad community and stimulating further research in the area.\r\n\r\nSpecifically, we first describe a lower bound on the symbolic complexity of computing strongly connected components, which can be extended to show lower bounds for fundamental model-checking questions in graphs, published in [CDHL16b]. Second we present a conditional lower bound for disjunctive safety problems on graphs from [CDHL18] in the RAM model of computation. This bound can be modified to give conditional lower bounds for disjunctive objectives for reachability, Büchi, coBüchi and Rabin objectives in MDPs. We also present various open questions.","lang":"eng"}],"publication":"Principles of Systems Design","publisher":"Springer Nature Switzerland","scopus_import":"1","status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","intvolume":"     13660","place":"Cham","series_title":"LNCS","author":[{"first_name":"Monika H","full_name":"Henzinger, Monika H","id":"540c9bbd-f2de-11ec-812d-d04a5be85630","last_name":"Henzinger","orcid":"0000-0002-5008-6530"}],"article_processing_charge":"No","publication_status":"published","doi":"10.1007/978-3-031-22337-2_14","volume":13660,"type":"book_chapter","citation":{"ista":"Henzinger M. 2022.Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. In: Principles of Systems Design. vol. 13660, 292–305.","short":"M. Henzinger, in:, J.-F. Raskin, K. Chatterjee, L. Doyen, R. Majumdar (Eds.), Principles of Systems Design, Springer Nature Switzerland, Cham, 2022, pp. 292–305.","apa":"Henzinger, M. (2022). Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. In J.-F. Raskin, K. Chatterjee, L. Doyen, &#38; R. Majumdar (Eds.), <i>Principles of Systems Design</i> (Vol. 13660, pp. 292–305). Cham: Springer Nature Switzerland. <a href=\"https://doi.org/10.1007/978-3-031-22337-2_14\">https://doi.org/10.1007/978-3-031-22337-2_14</a>","chicago":"Henzinger, Monika. “Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification.” In <i>Principles of Systems Design</i>, edited by Jean-François Raskin, Krishnendu Chatterjee, Laurent Doyen, and Rupak Majumdar, 13660:292–305. LNCS. Cham: Springer Nature Switzerland, 2022. <a href=\"https://doi.org/10.1007/978-3-031-22337-2_14\">https://doi.org/10.1007/978-3-031-22337-2_14</a>.","ama":"Henzinger M. Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification. In: Raskin J-F, Chatterjee K, Doyen L, Majumdar R, eds. <i>Principles of Systems Design</i>. Vol 13660. LNCS. Cham: Springer Nature Switzerland; 2022:292-305. doi:<a href=\"https://doi.org/10.1007/978-3-031-22337-2_14\">10.1007/978-3-031-22337-2_14</a>","ieee":"M. Henzinger, “Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification,” in <i>Principles of Systems Design</i>, vol. 13660, J.-F. Raskin, K. Chatterjee, L. Doyen, and R. Majumdar, Eds. Cham: Springer Nature Switzerland, 2022, pp. 292–305.","mla":"Henzinger, Monika. “Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification.” <i>Principles of Systems Design</i>, edited by Jean-François Raskin et al., vol. 13660, Springer Nature Switzerland, 2022, pp. 292–305, doi:<a href=\"https://doi.org/10.1007/978-3-031-22337-2_14\">10.1007/978-3-031-22337-2_14</a>."},"publication_identifier":{"eisbn":["9783031223372"],"eissn":["1611-3349"],"isbn":["9783031223365"],"issn":["0302-9743"]},"date_published":"2022-12-29T00:00:00Z","extern":"1","OA_type":"closed access","language":[{"iso":"eng"}],"_id":"20062","oa_version":"None","day":"29","quality_controlled":"1","title":"Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification","year":"2022","editor":[{"last_name":"Raskin","full_name":"Raskin, Jean-François","first_name":"Jean-François"},{"first_name":"Krishnendu","full_name":"Chatterjee, Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","last_name":"Chatterjee","orcid":"0000-0002-4561-241X"},{"full_name":"Doyen, Laurent","first_name":"Laurent","last_name":"Doyen"},{"last_name":"Majumdar","first_name":"Rupak","full_name":"Majumdar, Rupak"}],"page":"292-305","date_updated":"2025-07-22T06:23:55Z","date_created":"2025-07-22T06:19:50Z"}