Specification-Aware Distribution Shaping for Robotics Foundation Models

Esta tendência propõe um framework de otimização de distribuição de ações para modelos fundacionais de robótica que impõe restrições de Lógica Temporal de Sinais (STL) durante a execução, sem modificar os parâmetros do modelo pré-treinado. A abordagem garante formalmente que robôs cumpram requisitos espaço-temporais complexos, como visitas a objetivos com limite de tempo e condições persistentes d...