@article{Jensen2018, author = "Rune M. Jensen and Manuela M. Veloso and Randal Bryant", title = "{Guided Symbolic Universal Planning}", year = "2018", month = "6", url = "https://kilthub.cmu.edu/articles/journal_contribution/Guided_Symbolic_Universal_Planning/6622415", doi = "10.1184/R1/6622415.v1" }