TY  - RPRT
TI  - Model Checking Strategies from Synthesis Over Finite Traces
AU  - Suguman Bansal
AU  - Yong Li
AU  - Lucas Martinelli Tabajara
AU  - Moshe Y. Vardi
AU  - Andrew Wells
PY  - 2023
UR  - https://arxiv.org/abs/2305.08319
ID  - 2305.08319
ER  -