BibTeX record conf/gamesec/Ramasubramanian19

• > Home > conf/gamesec/Ramasubramanian19

@inproceedings{DBLP:conf/gamesec/Ramasubramanian19,
  author       = {Bhaskar Ramasubramanian and
                  Luyao Niu and
                  Andrew Clark and
                  Linda Bushnell and
                  Radha Poovendran},
  editor       = {Tansu Alpcan and
                  Yevgeniy Vorobeychik and
                  John S. Baras and
                  Gy{\"{o}}rgy D{\'{a}}n},
  title        = {Linear Temporal Logic Satisfaction in Adversarial Environments Using
                  Secure Control Barrier Certificates},
  booktitle    = {Decision and Game Theory for Security - 10th International Conference,
                  GameSec 2019, Stockholm, Sweden, October 30 - November 1, 2019, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {11836},
  pages        = {385--403},
  publisher    = {Springer},
  year         = {2019},
  url          = {https://doi.org/10.1007/978-3-030-32430-8\_23},
  doi          = {10.1007/978-3-030-32430-8\_23},
  timestamp    = {Tue, 07 May 2024 20:08:32 +0200},
  biburl       = {https://dblp.org/rec/conf/gamesec/Ramasubramanian19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}