TY  - RPRT
TI  - An Overview of the HFL Model Checking Project
AU  - Naoki Kobayashi
PY  - 2021
DO  - 10.4204/eptcs.344.1
UR  - https://arxiv.org/abs/2109.04629
ID  - 2109.04629
ER  -