ScenicProver: A Framework for Compositional Probabilistic Verification of Learning-Enabled Systems
机构 * University of California, Santa Cruz(加州大学圣克鲁兹分校) ; University of Michigan(密歇根大学) ; University of California, Berkeley(加州大学伯克利分校)
专题命中 机器人多传感器融合 :sensor fusion(abstract)
Comments 26 pages, 4 figures. Full version (including appendices) of a paper submitted to TACAS 2026