Scott C. Livingston

关于

暂无简介。

研究焦点

主要成就

代表论文

1. 1
   Backtracking temporal logic synthesis for uncertain environments

   62 次引用 · 2012
2. 2
   Patching task-level robot controllers based on a local μ-calculus formula

   32 次引用 · 2013
3. 3
   Towards formal synthesis of reactive controllers for dexterous robotic manipulation

   29 次引用 · 2012
4. 4
   Signal Temporal Logic Meets Reachability: Connections and Applications

   14 次引用 · 2020
5. 5
   Multi-objective optimal control for proactive decision making with temporal logic models

   14 次引用 · 2019
6. 6
   Simultaneous model identification and task satisfaction in the presence of temporal logic constraints

   5 次引用 · 2016
7. 7
   Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications

   4 次引用 · 2016
8. 8
   Hot-swapping robot task goals in reactive formal synthesis

   4 次引用 · 2014
9. 9
   Obstacle Avoidance and Boundary Following Behavior of the Echolocating Bat

   3 次引用 · 2008
10. 10
    Enhancing tolerance to unexpected jumps in GR(1) games

    2 次引用 · 2017

主要合作者