Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions

Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions. Ancona, D., Ferrando, A., & Mascardi, V. In Baumeister, D. & Rothe, J., editors, Multi-Agent Systems - 19th European Conference, EUMAS 2022, Düsseldorf, Germany, September 14-16, 2022, Proceedings, volume 13442, of Lecture Notes in Computer Science, pages 22–40, 2022. Springer.

Paper doi bibtex

@inproceedings{DBLP:conf/eumas/AnconaFM22,
  author       = {Davide Ancona and
                  Angelo Ferrando and
                  Viviana Mascardi},
  editor       = {Dorothea Baumeister and
                  J{\"{o}}rg Rothe},
  title        = {Mind the Gap! Runtime Verification of Partially Observable MASs with
                  Probabilistic Trace Expressions},
  booktitle    = {Multi-Agent Systems - 19th European Conference, {EUMAS} 2022, D{\"{u}}sseldorf,
                  Germany, September 14-16, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13442},
  pages        = {22--40},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20614-6\_2},
  doi          = {10.1007/978-3-031-20614-6\_2},
  timestamp    = {Wed, 21 Dec 2022 18:19:12 +0100},
  biburl       = {https://dblp.org/rec/conf/eumas/AnconaFM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

Downloads: 0

{"_id":"3ZKaB3urd5cKnhqY9","bibbaseid":"ancona-ferrando-mascardi-mindthegapruntimeverificationofpartiallyobservablemasswithprobabilistictraceexpressions-2022","author_short":["Ancona, D.","Ferrando, A.","Mascardi, V."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Davide"],"propositions":[],"lastnames":["Ancona"],"suffixes":[]},{"firstnames":["Angelo"],"propositions":[],"lastnames":["Ferrando"],"suffixes":[]},{"firstnames":["Viviana"],"propositions":[],"lastnames":["Mascardi"],"suffixes":[]}],"editor":[{"firstnames":["Dorothea"],"propositions":[],"lastnames":["Baumeister"],"suffixes":[]},{"firstnames":["Jörg"],"propositions":[],"lastnames":["Rothe"],"suffixes":[]}],"title":"Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions","booktitle":"Multi-Agent Systems - 19th European Conference, EUMAS 2022, Düsseldorf, Germany, September 14-16, 2022, Proceedings","series":"Lecture Notes in Computer Science","volume":"13442","pages":"22–40","publisher":"Springer","year":"2022","url":"https://doi.org/10.1007/978-3-031-20614-6\\_2","doi":"10.1007/978-3-031-20614-6_2","timestamp":"Wed, 21 Dec 2022 18:19:12 +0100","biburl":"https://dblp.org/rec/conf/eumas/AnconaFM22.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/eumas/AnconaFM22,\n author = {Davide Ancona and\n Angelo Ferrando and\n Viviana Mascardi},\n editor = {Dorothea Baumeister and\n J{\\\"{o}}rg Rothe},\n title = {Mind the Gap! Runtime Verification of Partially Observable MASs with\n Probabilistic Trace Expressions},\n booktitle = {Multi-Agent Systems - 19th European Conference, {EUMAS} 2022, D{\\\"{u}}sseldorf,\n Germany, September 14-16, 2022, Proceedings},\n series = {Lecture Notes in Computer Science},\n volume = {13442},\n pages = {22--40},\n publisher = {Springer},\n year = {2022},\n url = {https://doi.org/10.1007/978-3-031-20614-6\\_2},\n doi = {10.1007/978-3-031-20614-6\\_2},\n timestamp = {Wed, 21 Dec 2022 18:19:12 +0100},\n biburl = {https://dblp.org/rec/conf/eumas/AnconaFM22.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Ancona, D.","Ferrando, A.","Mascardi, V."],"editor_short":["Baumeister, D.","Rothe, J."],"key":"DBLP:conf/eumas/AnconaFM22","id":"DBLP:conf/eumas/AnconaFM22","bibbaseid":"ancona-ferrando-mascardi-mindthegapruntimeverificationofpartiallyobservablemasswithprobabilistictraceexpressions-2022","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-031-20614-6\\_2"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/134/9527.bib","dataSources":["jkPac6coMCnfPS9v6","hbmDF3mowSFP7RzLi","X6oai84Gqtg82PfJ8","DemJHAtxwifL2qfuu","R5o3TG54ojRn5EMT4","ZEMwcoMYSZFYWJajW","GpdwcjP3cDneQaTbF","N94NEfdRnTcyXcg5P","Mt3To6SuEDqqAnZki","yDhN9JGJxcG56DJKw","5iJsrxNL2p3x5acur"],"keywords":[],"search_terms":["mind","gap","runtime","verification","partially","observable","mass","probabilistic","trace","expressions","ancona","ferrando","mascardi"],"title":"Mind the Gap! Runtime Verification of Partially Observable MASs with Probabilistic Trace Expressions","year":2022}