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.
Composition of Stochastic Services for LTL\(_\mboxf\) Goal Specifications [link]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