@inproceedings{Garavello:2006ML,
  author = "Garavello, Mauro",
  title = "{Verification Theorems for HJB equations}",
  doi = "10.22323/1.018.0021",
  booktitle = "Proceedings of Control Systems: Theory, Numerics and Applications {\textemdash} PoS(CSTNA2005)",
  year = 2006,
  volume = "018",
  pages = "021"
}