_id,doi,title
297,10.1007/978-3-319-89960-2_21,Strategy representation by decision trees in reactive synthesis