Princeton Robotics Seminar - Jana Tumova
Princeton University Robotics · 62:18 · Watch on YouTube
讲座将信号时序逻辑（STL）呈现为一套严谨的规范语言，用于指定机器人应当做什么；它从语法和时序算子讲起，到鲁棒性度量、用于规划与轨迹优化的集成，再到不确定性处理，最后以坦诚的总结收尾：能否获得保证，始终取决于模型表达力、保证强度与计算代价之间的权衡。
Princeton University Robotics · 62:18 · Watch on YouTube
讲座将信号时序逻辑（STL）呈现为一套严谨的规范语言，用于指定机器人应当做什么；它从语法和时序算子讲起，到鲁棒性度量、用于规划与轨迹优化的集成，再到不确定性处理，最后以坦诚的总结收尾：能否获得保证，始终取决于模型表达力、保证强度与计算代价之间的权衡。