Marco Antoniotti

New York University, Robotics Research (United States), University of Udine

论文数

4

总引用数

103

H-Index

3

关于

暂无简介。

研究焦点

Computer science4 · 103 次引用
Controller (irrigation)3 · 100 次引用
Programming language3 · 100 次引用
Engineering3 · 100 次引用
Temporal logic3 · 100 次引用
Artificial intelligence3 · 100 次引用
Supervisory control2 · 97 次引用
Linear temporal logic2 · 97 次引用
Supervisory control theory2 · 97 次引用
Event (particle physics)2 · 97 次引用
Control engineering2 · 97 次引用
Control (management)2 · 97 次引用

主要成就

3
H 指数
4
论文
103
总引用数
26
篇均引用
🏆 最高被引论文
Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers
72 次引用 · 2002
📈 最高产年份: 2002 (2 论文)
🤝 主要合作者: 6
🏛 所属机构: New York University, Robotics Research (United States), University of Udine

代表论文

  1. 1
    Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers
    72 次引用 · 2002
  2. 2
    Synthesis and verification of discrete controllers for robotics and manufacturing devices with temporal logic and the control-D system
    25 次引用 · 1996
  3. 3
    Applying temporal logic verification and synthesis to manufacturing systems
    3 次引用 · 2002
  4. 4
    CIMS-TR 2005-859 Algorithmic Algebraic Model Checking I: The Case of Biochemical Systems and their Reachability Analysis ?
    3 次引用 · 2005

主要合作者

BMBud Mishra3 篇合著论文MAMohsen A. Jafari1 篇合著论文FWFranz Winkler1 篇合著论文VMVenkatesh Mysore1 篇合著论文APAlberto Policriti1 篇合著论文CPCarla Piazza1 篇合著论文
尚未生成