@misc{indiciaea71385469486, title = {Matrix Theory for Data Association in PVS}, author = {Haley R King and J Tanner Slagel}, url = {https://ntrs.nasa.gov/citations/20210020645}, note = {Source identifier: 20210020645} }