TY  - RPRT
TI  - Fixed-Template Promise Model Checking Problems
AU  - Kristina Asimi
AU  - Libor Barto
AU  - Silvia Butti
PY  - 2022
UR  - https://arxiv.org/abs/2205.04787
ID  - 2205.04787
ER  -