Assertion

Related papers: 20

Top Cited Papers

ARE PARALLEL ROBOTS MORE ACCURATE THAN SERIAL ROBOTS?

Sébastien Briot, Ilian A. Bonev

Citations: 130 • 2007

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

Citations: 122 • 2013

Robot transparency, trust and utility

Robert H. Wortham, Andreas Theodorou

Citations: 101 • 2017

A Meta-Analysis of Human Personality and Robot Acceptance in Human-Robot Interaction

Connor Esterwood, Kyle Essenmacher, Han Yang, Fanpan Zeng, Lionel Robert

Citations: 76 • 2021

AMVNet: Assertion-based Multi-View Fusion Network for LiDAR Semantic\n Segmentation

Venice Erin Liong, Thi Ngoc Tho Nguyen, Sergi Adipraja Widjaja, Dhananjai Sharma, Zhuang Jie Chong

Citations: 69 • 2020

Robotic process automation deployments: a step-by-step method to investment appraisal

Antti Ylä-Kujala, Damian Kedziora, Lasse Metso, Timo Kärri, Ari Happonen, Wojciech Piotrowicz

Citations: 34 • 2023

Closed form forward kinematics solution to a class of hexapod robots

Jun Yang, Zihui Geng

Citations: 32 • 1998

Static analysis for probabilistic programs

Sriram Sankaranarayanan, Aleksandar Chakarov, Sumit Gulwani

Citations: 31 • 2013

Modeling Human-Robot-Interaction based on generic Interaction Patterns

Julia Peltason, Britta Wrede

Citations: 22 • 2010

Kinestatic Analysis of General Parallel Manipulators

Shou-Hung Ling, Ming Huang

Citations: 21 • 1995

Mission Reliability Estimation for Multirobot Team Design

Stephen Stancliff, John M. Dolan, A. Trebi‐Ollennu

Citations: 17 • 2006

GA+DDPG+HER: Genetic Algorithm-Based Function Optimizer in Deep Reinforcement Learning for Robotic Manipulation Tasks

Adarsh Sehgal, Nick Ward, Hung Manh La, Christos Papachristos, Sushil J. Louis

Citations: 16 • 2022

Birds of a Feather Flock Together: But do Humans and Robots? A Meta-Analysis of Human and Robot Personality Matching

Connor Esterwood, Kyle Essenmacher, Han Yang, Fanpan Zeng, Lionel Robert

Citations: 14 • 2021

Modeling distributed autonomous robots using CHARON: formation control case study

Rafael Fierro

Citations: 10 • 2004

A thesis about design fiction

Joseph Lindley

Citations: 8 • 2018

Of souls, spirits and ghosts: Transposing the application of the rules of targeting to lethal autonomous robots

Tetyana Krupiy

Citations: 8 • 2015

On Environmental Model-Based Visual Perception for Humanoids

D. Gonzalez-Aguirre, Sebastian Wieland, Tamim Asfour, Rüdiger Dillmann

Citations: 7 • 2009

Why Teach Computer Programming? Some Evidence about Generalization and Transfer.

Dennis R. Goldenson

Citations: 6 • 1996

Brace: an assertion framework for debugging cyber-physical systems

Kevin Boos, Chien‐Liang Fok, Christine Julien, Miryung Kim

Citations: 4 • 2012

Risk Assessment and Prediction in Human-Robot Interaction Through Assertion Mining and Pose Estimation

Michele Boldo, Nicola Bombieri, Mirco De Marchi, Luca Geretti, Samuele Germiniani, Graziano Pravadelli

Citations: 4 • 2022