Salar Moarref

Sibley Memorial Hospital, Cornell University, University of Pennsylvania, Ithaca College

论文数

9

总引用数

163

H-Index

8

关于

暂无简介。

研究焦点

Computer science9 · 163 次引用
Artificial intelligence9 · 163 次引用
Robot7 · 150 次引用
Distributed computing5 · 121 次引用
Theoretical computer science4 · 109 次引用
Control (management)5 · 92 次引用
Swarm behaviour4 · 84 次引用
Mathematics5 · 78 次引用
Set (abstract data type)4 · 77 次引用
Engineering4 · 76 次引用
Programming language4 · 76 次引用
Robotics3 · 73 次引用

主要成就

8
H 指数
9
论文
163
总引用数
18
篇均引用
🏆 最高被引论文
Decentralized control of robotic swarms from high-level temporal logic specifications
35 次引用 · 2017
📈 最高产年份: 2016 (3 论文)
🤝 主要合作者: 6
🏛 所属机构: Sibley Memorial Hospital, Cornell University, University of Pennsylvania, Ithaca College

代表论文

  1. 1
    Decentralized control of robotic swarms from high-level temporal logic specifications
    35 次引用 · 2017
  2. 2
    Automated synthesis of decentralized controllers for robot swarms from high-level temporal logic specifications
    26 次引用 · 2019
  3. 3
    Compositional Synthesis of Reactive Controllers for Multi-agent Systems
    25 次引用 · 2016
  4. 4
    Compositional and symbolic synthesis of reactive controllers for multi-agent systems
    23 次引用 · 2018
  5. 5
    Compositional Synthesis with Parametric Reactive Controllers
    17 次引用 · 2016
  6. 6
    Verifiable Control of Robotic Swarm from High-level Specifications
    12 次引用 · 2018
  7. 7
    Finding Missing Skills for High-Level Behaviors
    12 次引用 · 2020
  8. 8
    Reactive Synthesis for Robotic Swarms
    11 次引用 · 2018
  9. 9
    Risk-Averse $ω$-regular Markov Decision Process Control
    2 次引用 · 2016

主要合作者

HKHadas Kress‐Gazit5 篇合著论文UTUfuk Topcu4 篇合著论文RARajeev Alur2 篇合著论文CJChen Ji1 篇合著论文APAdam Pacheck1 篇合著论文RARajeev Alur1 篇合著论文
尚未生成