Higher-Order Model Checking (NII Shonan Meeting 2016-4)