vix.ing · top · new · best · stats · spec

Meng, Qian

  1. Automated Robot Recovery from Assumption Violations of High-Level Specifications
    2024/06/30 by Qian Meng, Meng, Qian, Hadas Kress‐Gazit +1 · 1 citation
    Decision Sciences · #Scientific Computing and Data Management