@inproceedings{DBLP:conf/foiks/GiacomoFS24,
  author       = {Giuseppe De Giacomo and
                  Marco Favorito and
                  Luciana Silo},
  editor       = {Arne Meier and
                  Magdalena Ortiz},
  title        = {Composition of Stochastic Services for LTL\({}_{\mbox{f}}\) Goal Specifications},
  booktitle    = {Foundations of Information and Knowledge Systems - 13th International
                  Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14589},
  pages        = {298--316},
  publisher    = {Springer},
  year         = {2024},
  url          = {https://doi.org/10.1007/978-3-031-56940-1\_17},
  doi          = {10.1007/978-3-031-56940-1\_17},
  timestamp    = {Mon, 15 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/foiks/GiacomoFS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"43BQTxubaRA2ZSiwX","bibbaseid":"giacomo-favorito-silo-compositionofstochasticservicesforltlmboxfgoalspecifications-2024","author_short":["Giacomo, G. D.","Favorito, M.","Silo, L."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giuseppe","De"],"propositions":[],"lastnames":["Giacomo"],"suffixes":[]},{"firstnames":["Marco"],"propositions":[],"lastnames":["Favorito"],"suffixes":[]},{"firstnames":["Luciana"],"propositions":[],"lastnames":["Silo"],"suffixes":[]}],"editor":[{"firstnames":["Arne"],"propositions":[],"lastnames":["Meier"],"suffixes":[]},{"firstnames":["Magdalena"],"propositions":[],"lastnames":["Ortiz"],"suffixes":[]}],"title":"Composition of Stochastic Services for LTL\\(_\\mboxf\\) Goal Specifications","booktitle":"Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings","series":"Lecture Notes in Computer Science","volume":"14589","pages":"298–316","publisher":"Springer","year":"2024","url":"https://doi.org/10.1007/978-3-031-56940-1\\_17","doi":"10.1007/978-3-031-56940-1_17","timestamp":"Mon, 15 Apr 2024 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/foiks/GiacomoFS24.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/foiks/GiacomoFS24,\n author = {Giuseppe De Giacomo and\n Marco Favorito and\n Luciana Silo},\n editor = {Arne Meier and\n Magdalena Ortiz},\n title = {Composition of Stochastic Services for LTL\\({}_{\\mbox{f}}\\) Goal Specifications},\n booktitle = {Foundations of Information and Knowledge Systems - 13th International\n Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {14589},\n pages = {298--316},\n publisher = {Springer},\n year = {2024},\n url = {https://doi.org/10.1007/978-3-031-56940-1\\_17},\n doi = {10.1007/978-3-031-56940-1\\_17},\n timestamp = {Mon, 15 Apr 2024 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/foiks/GiacomoFS24.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Giacomo, G. D.","Favorito, M.","Silo, L."],"editor_short":["Meier, A.","Ortiz, M."],"key":"DBLP:conf/foiks/GiacomoFS24","id":"DBLP:conf/foiks/GiacomoFS24","bibbaseid":"giacomo-favorito-silo-compositionofstochasticservicesforltlmboxfgoalspecifications-2024","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-56940-1\\_17"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/223/5577.bib","dataSources":["wEiHsBTX9GRcns3Hd"],"keywords":[],"search_terms":["composition","stochastic","services","ltl","mboxf","goal","specifications","giacomo","favorito","silo"],"title":"Composition of Stochastic Services for LTL\\(_\\mboxf\\) Goal Specifications","year":2024}