Madrid Institute for Advanced Studies

🇪🇸 ES

论文数

6

总引用数

97

H-Index

5

研究人员

6

关于

暂无简介。

研究焦点

Computer science6 · 97 次引用
Artificial intelligence4 · 60 次引用
Engineering3 · 56 次引用
Algorithm3 · 55 次引用
Theoretical computer science3 · 55 次引用
Robot2 · 37 次引用
Mathematics2 · 36 次引用
Calculus (dental)1 · 32 次引用
Graph1 · 32 次引用
Correctness1 · 32 次引用

主要成就

5
H 指数
6
论文
97
总引用数
6
教职员与研究人员
🏆 最高被引论文
Patching task-level robot controllers based on a local μ-calculus formula
32 次引用 · 2013
📊 篇均引用: 16
📈 最高产年份: 2013 (1)
🔬 研究焦点: Computer science, Artificial intelligence, Engineering, Algorithm, Theoretical computer science, Robot

代表论文

  1. 1
    Patching task-level robot controllers based on a local μ-calculus formula
    32 次引用 · 2013
  2. 2
    Digital Health for Supporting Precision Medicine in Pediatric Endocrine Disorders: Opportunities for Improved Patient Care
    22 次引用 · 2021
  3. 3
    Switching control of dynamical systems from metric temporal logic specifications
    19 次引用 · 2014
  4. 4
    Robotic assembly of artificial nanomaterials
    15 次引用 · 2018
  5. 5
    A Visual Programming Approach for Co-designed Robots
    5 次引用 · 2020
  6. 6
    Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version).
    4 次引用 · 2012

教职员与研究人员

…

尚未生成