Marco Antoniotti

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

Papers

4

Total Citations

103

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
4
Papers
103
Total Citations
26
Avg Citations/Paper
🏆 Most Cited Paper
Discrete event models+temporal logic=supervisory controller: automatic synthesis of locomotion controllers
72 citations · 2002
📈 Most Prolific Year: 2002 (2 Papers)
🤝 Key Collaborators: 6
🏛 Institutions: New York University, Robotics Research (United States), University of Udine

Top Papers

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

Key Collaborators

BMBud Mishra3 shared papersMAMohsen A. Jafari1 shared papersFWFranz Winkler1 shared papersVMVenkatesh Mysore1 shared papersAPAlberto Policriti1 shared papersCPCarla Piazza1 shared papers
Not generated yet