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

Bergeron, Taylor

  1. Comp-LTL: Temporal Logic Planning via Zero-Shot Policy Composition
    2024/08/08 by Taylor Bergeron, Bergeron, Taylor, Zachary Serlin +3 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Model-Driven Software Engineering Techniques #Robotics (cs.RO)