Composition of Stochastic Services for LTL\(_\mboxf\) Goal Specifications. Giacomo, G. D., Favorito, M., & Silo, L. In Meier, A. & Ortiz, M., editors, Foundations of Information and Knowledge Systems - 13th International Symposium, FoIKS 2024, Sheffield, UK, April 8-11, 2024, Proceedings, volume 14589, of Lecture Notes in Computer Science, pages 298–316, 2024. Springer.
Paper doi bibtex @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}
}
Downloads: 0
{"_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}