Partial Model Checking and Partial Model Synthesis in LTL Using a Tableau-Based Approach. - Serenella Cerrito; Valentin Goranko; Sophie Paillocher (FSCD, 2023)