@inproceedings{AminofGSFRZ23,
  author       = {Benjamin Aminof and
                  Giuseppe De Giacomo and
                  Antonio Di Stasio and
                  Hugo Francon and
                  Sasha Rubin and
                  Shufang Zhu},
  title        = {LTLf Synthesis Under Environment Specifications
                  for Reachability and Safety Properties},
  booktitle    = { {EUMAS} 2023},
  volume       = {14282},
  pages        = {263--279},
  year         = {2023}
}

{"_id":"DZ8f9mLDaGrktGQyN","bibbaseid":"aminof-giacomo-stasio-francon-rubin-zhu-ltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023","author_short":["Aminof, B.","Giacomo, G. D.","Stasio, A. D.","Francon, H.","Rubin, S.","Zhu, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Benjamin"],"propositions":[],"lastnames":["Aminof"],"suffixes":[]},{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Antonio","Di"],"propositions":[],"lastnames":["Stasio"],"suffixes":[]},{"firstnames":["Hugo"],"propositions":[],"lastnames":["Francon"],"suffixes":[]},{"firstnames":["Sasha"],"propositions":[],"lastnames":["Rubin"],"suffixes":[]},{"firstnames":["Shufang"],"propositions":[],"lastnames":["Zhu"],"suffixes":[]}],"title":"LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties","booktitle":"EUMAS 2023","volume":"14282","pages":"263–279","year":"2023","bibtex":"@inproceedings{AminofGSFRZ23,\n author = {Benjamin Aminof and\n Giuseppe De Giacomo and\n Antonio Di Stasio and\n Hugo Francon and\n Sasha Rubin and\n Shufang Zhu},\n title = {LTLf Synthesis Under Environment Specifications\n for Reachability and Safety Properties},\n booktitle = { {EUMAS} 2023},\n volume = {14282},\n pages = {263--279},\n year = {2023}\n}\n\n\n","author_short":["Aminof, B.","Giacomo, G. D.","Stasio, A. D.","Francon, H.","Rubin, S.","Zhu, S."],"key":"AminofGSFRZ23","id":"AminofGSFRZ23","bibbaseid":"aminof-giacomo-stasio-francon-rubin-zhu-ltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/antoniodistasio/antoniodistasio.github.io/master/antonio.bib","dataSources":["sTv84pxw4fgxhrWy3","z68fXjfDFHo3BzBEe"],"keywords":[],"search_terms":["ltlf","synthesis","under","environment","specifications","reachability","safety","properties","aminof","giacomo","stasio","francon","rubin","zhu"],"title":"LTLf Synthesis Under Environment Specifications for Reachability and Safety Properties","year":2023}