@misc{indiciae0a1d3e97fc70,
  title = {Optimizing Dynamic Timing Analysis with Reinforcement Learning},
  author = {Obert, James and Shia, Angie},
  year = {2019},
  doi = {10.2172/1573933},
  url = {https://www.osti.gov/biblio/1573933},
  note = {Source identifier: 1573933}
}