@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" }