Planning and Synthesis Under Assumptions | Read Paper on Bytez