Vivek Nigam's Publications

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

On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems

Musab A. Alturki, Tajana Ban Kirigin, Max I. Kanovich, Vivek Nigam, Andre Scedrov, and Carolyn L. Talcott. On the Formalization and Computational Complexity of Resilience Problems for Cyber-Physical Systems. In Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, pp. 96–113, Lecture Notes in Computer Science 13572, Springer, 2022.

Download

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

Abstract

(unavailable)

@inproceedings{alturki22ictac,
  author    = {Musab A. Alturki and
               Tajana Ban Kirigin and
               Max I. Kanovich and
               Vivek Nigam and
               Andre Scedrov and
               Carolyn L. Talcott},
  editor    = {Helmut Seidl and
               Zhiming Liu and
               Corina S. Pasareanu},
  title     = {On the Formalization and Computational Complexity of Resilience Problems
               for Cyber-Physical Systems},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2022 - 19th International
               Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {13572},
  pages     = {96--113},
  publisher = {Springer},
  year      = {2022},
  url       = {https://doi.org/10.1007/978-3-031-17715-6\_8},
  doi       = {10.1007/978-3-031-17715-6\_8},
  timestamp = {Fri, 07 Oct 2022 16:33:00 +0200},
    bib2html_pubtype = {Refereed Conference/Workshop},
  bib2html_rescat = {Formal Methods},
  bib2html_dl_pdf = "/docs/ictac22.pdf"
}

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