BibTeX record conf/pricai/GangopadhyayDD22

• > Home > conf/pricai/GangopadhyayDD22

@inproceedings{DBLP:conf/pricai/GangopadhyayDD22,
  author       = {Briti Gangopadhyay and
                  Pallab Dasgupta and
                  Soumyajit Dey},
  editor       = {Fenrong Liu and
                  Arun Anand Sadanandan and
                  Duc Nghia Pham and
                  Petrus Mursanto and
                  Dickson Lukose},
  title        = {PruVer: Verification Assisted Pruning for Deep Reinforcement Learning},
  booktitle    = {{PRICAI} 2023: Trends in Artificial Intelligence - 20th Pacific Rim
                  International Conference on Artificial Intelligence, {PRICAI} 2023,
                  Jakarta, Indonesia, November 15-19, 2023, Proceedings, Part {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {14325},
  pages        = {137--149},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-981-99-7019-3\_14},
  doi          = {10.1007/978-981-99-7019-3\_14},
  timestamp    = {Tue, 28 Nov 2023 20:06:09 +0100},
  biburl       = {https://dblp.org/rec/conf/pricai/GangopadhyayDD22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}