Nir Piterman

University of Leicester, University of Gothenburg

论文数

3

总引用数

58

H-Index

3

关于

暂无简介。

研究焦点

Robot3 · 58 次引用
Artificial intelligence3 · 58 次引用
Computer science3 · 58 次引用
Abstraction2 · 45 次引用
Control (management)2 · 45 次引用
Controller (irrigation)2 · 45 次引用
Domain (mathematical analysis)2 · 45 次引用
Programming language2 · 45 次引用
Verifiable secret sharing1 · 29 次引用
Cyber-physical system1 · 29 次引用
Distributed computing2 · 29 次引用
Theoretical computer science2 · 29 次引用

主要成就

3
H 指数
3
论文
58
总引用数
19
篇均引用
🏆 最高被引论文
Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations
29 次引用 · 2013
📈 最高产年份: 2013 (1 论文)
🤝 主要合作者: 4
🏛 所属机构: University of Leicester, University of Gothenburg

代表论文

  1. 1
    Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations
    29 次引用 · 2013
  2. 2
    Timing Semantics for Abstraction and Execution of Synthesized High-Level Robot Control
    16 次引用 · 2015
  3. 3
    Modelling and verification of reconfigurable multi-agent systems
    13 次引用 · 2021

主要合作者

VRVasumathi Raman2 篇合著论文HKHadas Kress‐Gazit2 篇合著论文CFCameron Finucane1 篇合著论文YAYehia Abd Alrahman1 篇合著论文
尚未生成