Assertion
Related papers: 20
Top Researchers
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