Caz Saaltink, Stefano M. Nicoletti, Matthias Volk 0001, Ernst Moritz Hahn, Mariëlle Stoelinga. Solving Queries for Boolean Fault Tree Logic via Quantified SAT. In Cyrille Artho, Peter Csaba Ölveczky, editors, Proceedings of the 9th ACM SIGPLAN International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2023, Cascais, Portugal, 22 October 2023. pages 48-59, ACM, 2023. [doi]
Abstract is missing.