_id,doi,title
1838,10.1007/978-3-662-46681-0_50,Assume-guarantee synthesis for concurrent reactive programs with partial information