TY  - RPRT
TI  - Finite LTL Synthesis with Environment Assumptions and Quality Measures
AU  - Alberto Camacho
AU  - Meghyn Bienvenu
AU  - Sheila A. McIlraith
PY  - 2018
UR  - https://arxiv.org/abs/1808.10831
ID  - 1808.10831
ER  -