Scott C. Livingston

California Institute of Technology

Papers

10

Total Citations

169

H-Index

5

About

No biography available yet.

Research Focus

Computer science10 · 169 citations
Artificial intelligence9 · 155 citations
Robot9 · 155 citations
Theoretical computer science7 · 148 citations
Engineering5 · 132 citations
Correctness4 · 125 citations
Temporal logic6 · 116 citations
Algorithm5 · 114 citations
Programming language5 · 113 citations
Linear temporal logic5 · 102 citations
Metric (unit)1 · 62 citations
Backtracking1 · 62 citations

Key Achievements

5
H-Index
10
Papers
169
Total Citations
17
Avg Citations/Paper
🏆 Most Cited Paper
Backtracking temporal logic synthesis for uncertain environments
62 citations · 2012
📈 Most Prolific Year: 2012 (2 Papers)
🤝 Key Collaborators: 14
🏛 Institutions: California Institute of Technology

Top Papers

  1. 1
    Backtracking temporal logic synthesis for uncertain environments
    62 citations · 2012
  2. 2
    Patching task-level robot controllers based on a local μ-calculus formula
    32 citations · 2013
  3. 3
    Towards formal synthesis of reactive controllers for dexterous robotic manipulation
    29 citations · 2012
  4. 4
    Signal Temporal Logic Meets Reachability: Connections and Applications
    14 citations · 2020
  5. 5
    Multi-objective optimal control for proactive decision making with temporal logic models
    14 citations · 2019
  6. 6
    Simultaneous model identification and task satisfaction in the presence of temporal logic constraints
    5 citations · 2016
  7. 7
    Decoupled Formal Synthesis for Almost Separable Systems with Temporal Logic Specifications
    4 citations · 2016
  8. 8
    Hot-swapping robot task goals in reactive formal synthesis
    4 citations · 2014
  9. 9
    Obstacle Avoidance and Boundary Following Behavior of the Echolocating Bat
    3 citations · 2008
  10. 10
    Enhancing tolerance to unexpected jumps in GR(1) games
    2 citations · 2017

Key Collaborators

RMRichard M. Murray5 shared papersSCSandeep Chinchali3 shared papersJWJoel W. Burdick3 shared papersMPMarco Pavone3 shared papersPPPavithra Prabhakar2 shared papersMCMo Chen2 shared papersQTQizhan Tam1 shared papersUTUfuk Topcu1 shared papersCFCynthia F. Moss1 shared papersLFLaura Freyman1 shared papersTKTimothy K. Horiuchi1 shared papersPSP. S. Krishnaprasad1 shared papersSDSumanth Dathathri1 shared papersABAlex B. Jose1 shared papers
Not generated yet