I am honored to give a talk on Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way for an invited paper at IPSJ/SIGSE Software Engineering Symposium (SES2024) (slides).