Concepedia

Robot Program Verification

Robot Program Verification is a formal method for ensuring the correctness and safety of robot control sequences by systematically validating that a programmed task adheres to specified functional, temporal, and spatial constraints within an industrial automation context.

33

Publications

1.1K

Citations

106

Authors

42

Institutions

Publications per year

2017–2026

10

Parents

Publications

33

A formal model of computation for sensory-based robotics

Damian M. Lyons, Michael A. Arbib · IEEE Transactions on Robotics and Automation · 1989 · 179 citations

, , +11

On the computer control of movement

R. Brockett · 2003 · 116 citations

, , +15

Large language models for chemistry robotics

Naruki Yoshikawa, Marta Skreta, Kourosh Darvish et al. · Autonomous Robots · 2023 · 100 citations · Full text

, , +16

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

Guillaume Brat, Doron Drusinsky, Dimitra Giannakopoulou et al. · Formal Methods in System Design · 2004 · 85 citations

, , +16

A logic for non-terminating Golog programs

Jens Claßen, Gerhard Lakemeyer · 2008 · 61 citations

, , +15

1–5 of 33

Authors

106

  1. DM
    Damian M. Lyons

    Fordham University, United States

    5 publications · 244 citations

    5

    h-index

  2. RC
    Ronald C. Arkin

    Georgia Institute of Technology, United States

    4 publications · 65 citations

    4

    h-index

  3. SJ
    Shu Jiang

    Georgia Institute of Technology, United States

    4 publications · 65 citations

    4

    h-index

  4. FS
    Florian Shkurti

    University of Toronto, Canada

    2 publications · 118 citations

    2

    h-index

  5. AA
    Alán Aspuru‐Guzik

    Harvard University, United States

    2 publications · 118 citations

    2

    h-index

1–5 of 106

Institutions

42

  1. Fordham University

    New York, United States

    4 h-index

    14 publications

    206 citations

  2. Georgia Institute of Technology

    Atlanta, United States

    3 h-index

    6 publications

    110 citations

  3. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    6 publications

    194 citations

  4. University of Pennsylvania

    Philadelphia, United States

    2 h-index

    5 publications

    59 citations

  5. Université Fédérale de Toulouse Midi-Pyrénées

    Toulouse, France

    2 h-index

    3 publications

    95 citations

  6. Laboratoire d'Analyse et d'Architecture des Systèmes

    Toulouse, France

    2 h-index

    3 publications

    95 citations

  7. University of Waterloo

    Waterloo, Canada

    2 h-index

    2 publications

    111 citations

  8. RWTH Aachen University

    Aachen, Germany

    2 h-index

    5 publications

    167 citations

1–8 of 42

Venues

  1. IEEE Robotics & Automation Magazine

    3 publications · 80 citations

    3

    h-index

  2. International Journal of Advanced Robotic Systems

    ARS · 1 publications · 30 citations

    1

    h-index

  3. Robotics and Autonomous Systems

    1 publications · 33 citations

    1

    h-index

  4. 1

    h-index

  5. 1

    h-index

1–5