Fine-Grained Complexity Lower Bounds for Problems in Computer Aided Verification
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.