BibTeX record conf/smacd/GaddeNKLKS24

download as .bib file

@inproceedings{DBLP:conf/smacd/GaddeNKLKS24,
  author       = {Deepak Narayan Gadde and
                  Thomas Nalapat and
                  Aman Kumar and
                  Djones Lettnin and
                  Wolfgang Kunz and
                  Sebastian Simon},
  title        = {Efficient Stimuli Generation using Reinforcement Learning in Design
                  Verification},
  booktitle    = {20th International Conference on Synthesis, Modeling, Analysis and
                  Simulation Methods and Applications to Circuit Design, {SMACD} 2024,
                  Volos, Greece, July 2-5, 2024},
  pages        = {1--4},
  publisher    = {{IEEE}},
  year         = {2024},
  url          = {https://doi.org/10.1109/SMACD61181.2024.10745410},
  doi          = {10.1109/SMACD61181.2024.10745410},
  timestamp    = {Mon, 02 Dec 2024 13:47:38 +0100},
  biburl       = {https://dblp.org/rec/conf/smacd/GaddeNKLKS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}