@inproceedings{conf/eumas/AminofGSFRZ23,
  added-at = {2023-09-13T00:00:00.000+0200},
  author = {Aminof, Benjamin and Giacomo, Giuseppe De and Stasio, Antonio Di and Francon, Hugo and Rubin, Sasha and Zhu, Shufang},
  biburl = {https://www.bibsonomy.org/bibtex/296ef1d6007bb6432482fcf5b9eea6799/dblp},
  booktitle = {EUMAS},
  crossref = {conf/eumas/2023},
  editor = {Malvone, Vadim and Murano, Aniello},
  ee = {https://doi.org/10.1007/978-3-031-43264-4_17},
  interhash = {3343fb39ea28038f9c4370ea0ce495b4},
  intrahash = {96ef1d6007bb6432482fcf5b9eea6799},
  isbn = {978-3-031-43264-4},
  keywords = {dblp},
  pages = {263-279},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {2024-04-10T01:51:35.000+0200},
  title = {sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties.},
  url = {http://dblp.uni-trier.de/db/conf/eumas/eumas2023.html#AminofGSFRZ23},
  volume = 14282,
  year = 2023
}

{"_id":"NnZFm5WsgkPu4QGtX","bibbaseid":"aminof-giacomo-stasio-francon-rubin-zhu-scltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023","author_short":["Aminof, B.","Giacomo, G. D.","Stasio, A. D.","Francon, H.","Rubin, S.","Zhu, S."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","added-at":"2023-09-13T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Aminof"],"firstnames":["Benjamin"],"suffixes":[]},{"propositions":[],"lastnames":["Giacomo"],"firstnames":["Giuseppe","De"],"suffixes":[]},{"propositions":[],"lastnames":["Stasio"],"firstnames":["Antonio","Di"],"suffixes":[]},{"propositions":[],"lastnames":["Francon"],"firstnames":["Hugo"],"suffixes":[]},{"propositions":[],"lastnames":["Rubin"],"firstnames":["Sasha"],"suffixes":[]},{"propositions":[],"lastnames":["Zhu"],"firstnames":["Shufang"],"suffixes":[]}],"biburl":"https://www.bibsonomy.org/bibtex/296ef1d6007bb6432482fcf5b9eea6799/dblp","booktitle":"EUMAS","crossref":"conf/eumas/2023","editor":[{"propositions":[],"lastnames":["Malvone"],"firstnames":["Vadim"],"suffixes":[]},{"propositions":[],"lastnames":["Murano"],"firstnames":["Aniello"],"suffixes":[]}],"ee":"https://doi.org/10.1007/978-3-031-43264-4_17","interhash":"3343fb39ea28038f9c4370ea0ce495b4","intrahash":"96ef1d6007bb6432482fcf5b9eea6799","isbn":"978-3-031-43264-4","keywords":"dblp","pages":"263-279","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"2024-04-10T01:51:35.000+0200","title":"sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties.","url":"http://dblp.uni-trier.de/db/conf/eumas/eumas2023.html#AminofGSFRZ23","volume":"14282","year":"2023","bibtex":"@inproceedings{conf/eumas/AminofGSFRZ23,\n added-at = {2023-09-13T00:00:00.000+0200},\n author = {Aminof, Benjamin and Giacomo, Giuseppe De and Stasio, Antonio Di and Francon, Hugo and Rubin, Sasha and Zhu, Shufang},\n biburl = {https://www.bibsonomy.org/bibtex/296ef1d6007bb6432482fcf5b9eea6799/dblp},\n booktitle = {EUMAS},\n crossref = {conf/eumas/2023},\n editor = {Malvone, Vadim and Murano, Aniello},\n ee = {https://doi.org/10.1007/978-3-031-43264-4_17},\n interhash = {3343fb39ea28038f9c4370ea0ce495b4},\n intrahash = {96ef1d6007bb6432482fcf5b9eea6799},\n isbn = {978-3-031-43264-4},\n keywords = {dblp},\n pages = {263-279},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {2024-04-10T01:51:35.000+0200},\n title = {sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties.},\n url = {http://dblp.uni-trier.de/db/conf/eumas/eumas2023.html#AminofGSFRZ23},\n volume = 14282,\n year = 2023\n}\n\n","author_short":["Aminof, B.","Giacomo, G. D.","Stasio, A. D.","Francon, H.","Rubin, S.","Zhu, S."],"editor_short":["Malvone, V.","Murano, A."],"key":"conf/eumas/AminofGSFRZ23","id":"conf/eumas/AminofGSFRZ23","bibbaseid":"aminof-giacomo-stasio-francon-rubin-zhu-scltlfsynthesisunderenvironmentspecificationsforreachabilityandsafetyproperties-2023","role":"author","urls":{"Link":"https://doi.org/10.1007/978-3-031-43264-4_17","Paper":"http://dblp.uni-trier.de/db/conf/eumas/eumas2023.html#AminofGSFRZ23"},"keyword":["dblp"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/Rubin?items=1000","dataSources":["74JLffDBQLjrojguT"],"keywords":["dblp"],"search_terms":["ltlf","synthesis","under","environment","specifications","reachability","safety","properties","aminof","giacomo","stasio","francon","rubin","zhu"],"title":"sc ltlf Synthesis Under Environment Specifications for Reachability and Safety Properties.","year":2023}