@inproceedings{DBLP:conf/eumas/AminofGSFRZ23,
 author = {Benjamin Aminof and
Giuseppe {De Giacomo} and
Antonio {Di Stasio} and
Hugo Francon and
Sasha Rubin and
Shufang Zhu},
 booktitle = {{EUMAS}},
 keywords = {WP5,Outside-Europe},
 pages = {263--279},
 publisher = {Springer},
 series = {Lecture Notes in Computer Science},
 title = {sc ltlf Synthesis Under Environment Specifications
for Reachability and Safety Properties},
 volume = {14282},
 year = {2023}
}

{"_id":"H2E8om3nDZJFJ9N89","bibbaseid":"aminof-degiacomo-distasio-francon-rubin-zhu-scltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023","author_short":["Aminof, B.","De Giacomo, G.","Di Stasio, A.","Francon, H.","Rubin, S.","Zhu, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","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":[]}],"booktitle":"EUMAS","keywords":"WP5,Outside-Europe","pages":"263–279","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties","volume":"14282","year":"2023","bibtex":"@inproceedings{DBLP:conf/eumas/AminofGSFRZ23,\n author = {Benjamin Aminof and\nGiuseppe {De Giacomo} and\nAntonio {Di Stasio} and\nHugo Francon and\nSasha Rubin and\nShufang Zhu},\n booktitle = {{EUMAS}},\n keywords = {WP5,Outside-Europe},\n pages = {263--279},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {sc ltlf Synthesis Under Environment Specifications\nfor Reachability and Safety Properties},\n volume = {14282},\n year = {2023}\n}\n\n","author_short":["Aminof, B.","De Giacomo, G.","Di Stasio, A.","Francon, H.","Rubin, S.","Zhu, S."],"key":"DBLP:conf/eumas/AminofGSFRZ23","id":"DBLP:conf/eumas/AminofGSFRZ23","bibbaseid":"aminof-degiacomo-distasio-francon-rubin-zhu-scltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023","role":"author","urls":{},"keyword":["WP5","Outside-Europe"],"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/whitemech/tailor-publications.github.io/master/tailor.bib","dataSources":["wMCdMNmiucDu2pMmz","5fDj6rXeRevQyZND4","9fesATq77fFWtSPuB","TxReNv8mFMbHT3GnN"],"keywords":["wp5","outside-europe"],"search_terms":["ltlf","synthesis","under","environment","specifications","reachability","safety","properties","aminof","de giacomo","di stasio","francon","rubin","zhu"],"title":"sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties","year":2023}