@article{DBLP:journals/corr/abs-2308-15184,
 author = {Benjamin Aminof and
Giuseppe {De Giacomo} and
Antonio {Di Stasio} and
Hugo Francon and
Sasha Rubin and
Shufang Zhu},
 journal = {CoRR},
 keywords = {WP5,Outside-Europe},
 title = {LTLf Synthesis Under Environment Specifications for Reachability and
Safety Properties},
 volume = {abs/2308.15184},
 year = {2023}
}

{"_id":"dxLmRe3kfrcAL2kCF","bibbaseid":"aminof-degiacomo-distasio-francon-rubin-zhu-ltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023","author_short":["Aminof, B.","De Giacomo, G.","Di Stasio, A.","Francon, H.","Rubin, S.","Zhu, S."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Aminof"],"suffixes":[]},{"firstnames":["Giuseppe"],"propositions":[],"lastnames":["De Giacomo"],"suffixes":[]},{"firstnames":["Antonio"],"propositions":[],"lastnames":["Di Stasio"],"suffixes":[]},{"firstnames":["Hugo"],"propositions":[],"lastnames":["Francon"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]},{"firstnames":["Shufang"],"propositions":[],"lastnames":["Zhu"],"suffixes":[]}],"journal":"CoRR","keywords":"WP5,Outside-Europe","title":"LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties","volume":"abs/2308.15184","year":"2023","bibtex":"@article{DBLP:journals/corr/abs-2308-15184,\n author = {Benjamin Aminof and\nGiuseppe {De Giacomo} and\nAntonio {Di Stasio} and\nHugo Francon and\nSasha Rubin and\nShufang Zhu},\n journal = {CoRR},\n keywords = {WP5,Outside-Europe},\n title = {LTLf Synthesis Under Environment Specifications for Reachability and\nSafety Properties},\n volume = {abs/2308.15184},\n year = {2023}\n}\n\n","author_short":["Aminof, B.","De Giacomo, G.","Di Stasio, A.","Francon, H.","Rubin, S.","Zhu, S."],"key":"DBLP:journals/corr/abs-2308-15184","id":"DBLP:journals/corr/abs-2308-15184","bibbaseid":"aminof-degiacomo-distasio-francon-rubin-zhu-ltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023","role":"author","urls":{},"keyword":["WP5","Outside-Europe"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://raw.githubusercontent.com/whitemech/tailor-publications.github.io/master/tailor.bib","dataSources":["wMCdMNmiucDu2pMmz","5fDj6rXeRevQyZND4","9fesATq77fFWtSPuB","TxReNv8mFMbHT3GnN","yS7ttFGW6d5SoZgRH","8kCRnmST9TKEYpeWt"],"keywords":["wp5","outside-europe"],"search_terms":["ltlf","synthesis","under","environment","specifications","reachability","safety","properties","aminof","de giacomo","di stasio","francon","rubin","zhu"],"title":"LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties","year":2023}