Sophie Paillocher

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Linear Time Temporal Logic

Partial Order Reduction

Top Venues

Publications

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