Correctness

Model checking for programming languages using VeriSoft

Patrice Godefroid

Citations: 828 • 1997

Distributed memoryless point convergence algorithm for mobile robots with limited visibility

Hideyuki Ando, Y. Oasa, Ippei Suzuki, Masafumi Yamashita

Citations: 572 • 1999

Limits for automatic verification of finite-state concurrent systems

Krzysztof R. Apt, Dexter Kozen

Citations: 375 • 1986

A comparison of line extraction algorithms using 2D laser rangefinder for indoor mobile robotics

Văn Đức Nguyễn, Agostino Martinelli, N. Tomatis, Roland Siegwart

Citations: 324 • 2005

Active global localization for a mobile robot using multiple hypothesis tracking

Patric Jensfelt, Steen Savstrup Kristensen

Citations: 316 • 2001

Rigorous Component-Based System Design Using the BIP Framework

Ananda Basu, Bensalem Bensalem, Marius Bozga, Jacques Combaz, Mohamad Jaber, Thanh-Hung Nguyen, Joseph Sifakis

Citations: 278 • 2011

Formal Specification and Verification of Autonomous Robotic Systems

Matt Luckcuck, Marie Farrell, Louise A. Dennis, Clare Dixon, Michael Fisher

Citations: 264 • 2019

Stiffness-oriented posture optimization in robotic machining applications

Yingjie Guo, Huiyue Dong, An Li

Citations: 259 • 2015

A comparison of line extraction algorithms using 2D range data for indoor mobile robotics

Viet Nguyen, Stefan Gächter, Agostino Martinelli, Nicola Tomatis, Roland Siegwart

Citations: 243 • 2007

A calibration method for enhancing robot accuracy through integration of an extended Kalman filter algorithm and an artificial neural network

Hoai-Nhan Nguyen, Jian Zhou, Hee‐Jun Kang

Citations: 239 • 2014

PLANETARY CANDIDATES OBSERVED BY KEPLER. VII. THE FIRST FULLY UNIFORM CATALOG BASED ON THE ENTIRE 48-MONTH DATA SET (Q1–Q17 DR24)

Citations: 232 • 2016

A Practical Multirobot Localization System

Tomáš Krajník, Matías Nitsche, Jan Faigl, Petr Vaněk, Martin Saska, Libor Přeučil, Tom Duckett, Marta Mejail

Citations: 210 • 2014

Convergence Properties of the Gravitational Algorithm in Asynchronous Robot Systems

Reuven Cohen, David Peleg

Citations: 208 • 2005

What is planning in the presence of sensing

Hector J. Levesque

Citations: 202 • 1996

Optimality and Robustness in Multi-Robot Path Planning with Temporal Logic Constraints

Alphan Ulusoy, Stephen L. Smith, Xu Chu Ding, Călin Belta, Daniela Rus

Citations: 194 • 2013

Motion trajectory prediction based on a CNN-LSTM sequential model

Guo Xie, Anqi Shangguan, Rong Fei, Wenjiang Ji, Weigang Ma, Xinhong Hei

Citations: 189 • 2020

Automatic Deployment of Distributed Teams of Robots From Temporal Logic Motion Specifications

Marius Kloetzer, Călin Belta

Citations: 179 • 2009

An Experimental Security Analysis of an Industrial Robot Controller

Davide Quarta, Marcello Pogliani, Mario Polino, Federico Maggi, Andrea Maria Zanchettin, Stefano Zanero

Citations: 169 • 2017

Force Sensorless Admittance Control for Teleoperation of Uncertain Robot Manipulator Using Neural Networks

Chenguang Yang, Guangzhu Peng, Long Cheng, Jing Na, Zhijun Li

Citations: 166 • 2019

An optimal periodic scheduler for dual-arm robots in cluster tools with residency constraints

Salim Rostami, Babak Hamidzadeh, D. Camporese

Citations: 161 • 2001