Vivek Nigam's Publications

• Sorted by Date • Classified by Publication Type • Classified by Research Category •

Detection and diagnosis of deviations in distributed systems of autonomous agents

Vivek Nigam, Minyoung Kim, Ian Mason, and Carolyn Talcott. Detection and diagnosis of deviations in distributed systems of autonomous agents. Mathematical Structures in Computer Science, pp. 1–29, Cambridge University Press, 2022.

Download

[PDF] [gzipped postscript] [postscript] [HTML] 

Abstract

(unavailable)

@article{nigam22mscs, 
    title={Detection and diagnosis of deviations in distributed systems of autonomous agents}, 
    DOI={10.1017/S0960129522000251}, 
    journal={Mathematical Structures in Computer Science}, 
    publisher={Cambridge University Press}, 
    author={Nigam, Vivek and Kim, Minyoung and Mason, Ian and Talcott, Carolyn}, 
    year={2022}, 
    pages={1–29},
    bib2html_pubtype = {Journal},
    bib2html_rescat = {Formal Methods},
    bib2html_dl_pdf = "/docs/sadiagnosis.pdf"
    }

Generated by bib2html.pl (written by Patrick Riley ) on Mon Jan 08, 2024 13:46:57