Eric M. Wolff

California Institute of Technology

论文数

3

总引用数

99

H-Index

3

关于

暂无简介。

研究焦点

Computer science3 · 99 次引用
Temporal logic2 · 82 次引用
Engineering2 · 69 次引用
Markov decision process1 · 52 次引用
Fragment (logic)1 · 52 次引用
Markov chain1 · 52 次引用
Linear temporal logic1 · 52 次引用
Control engineering1 · 52 次引用
Automaton1 · 52 次引用
Linear logic1 · 52 次引用
Algorithm1 · 52 次引用
Machine learning1 · 52 次引用

主要成就

3
H 指数
3
论文
99
总引用数
33
篇均引用
🏆 最高被引论文
Efficient reactive controller synthesis for a fragment of linear temporal logic
52 次引用 · 2013
📈 最高产年份: 2013 (1 论文)
🤝 主要合作者: 3
🏛 所属机构: California Institute of Technology

代表论文

  1. 1
    Efficient reactive controller synthesis for a fragment of linear temporal logic
    52 次引用 · 2013
  2. 2
    Optimal Control with Weighted Average Costs and Temporal Logic Specifications
    30 次引用 · 2012
  3. 3
    Formal Specification and Synthesis of Mission Plans for Unmanned Aerial Vehicles
    17 次引用 · 2014

主要合作者

UTUfuk Topcu3 篇合著论文RMRichard M. Murray2 篇合著论文LHLaura Humphrey1 篇合著论文
尚未生成