Nir Piterman

University of Leicester, University of Gothenburg

Papers

3

Total Citations

58

H-Index

3

About

No biography available yet.

Research Focus

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

Key Achievements

3
H-Index
3
Papers
58
Total Citations
19
Avg Citations/Paper
🏆 Most Cited Paper
Provably correct continuous control for high-level robot behaviors with actions of arbitrary execution durations
29 citations · 2013
📈 Most Prolific Year: 2013 (1 Papers)
🤝 Key Collaborators: 4
🏛 Institutions: University of Leicester, University of Gothenburg

Top Papers

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

Key Collaborators

VRVasumathi Raman2 shared papersHKHadas Kress‐Gazit2 shared papersCFCameron Finucane1 shared papersYAYehia Abd Alrahman1 shared papers
Not generated yet