TY  - RPRT
TI  - LTLf Synthesis on Probabilistic Systems
AU  - Andrew M. Wells
AU  - Morteza Lahijanian
AU  - Lydia E. Kavraki
AU  - Moshe Y. Vardi
PY  - 2020
DO  - 10.4204/eptcs.326.11
UR  - https://arxiv.org/abs/2009.10883
ID  - 2009.10883
ER  -