Title: Model Checking, Synthesis, and Learning