Open Problems in Verification and Refinement of Autonomous Robotic Systems

2012 15th Euromicro Conference on Digital System Design ◽

10.1109/dsd.2012.96 ◽

2012 ◽

Cited By ~ 7

Author(s):

Davide Bresolin ◽

Luigi Di Guglielmo ◽

Luca Geretti ◽

Riccardo Muradore ◽

Paolo Fiorini ◽

...

Keyword(s):

Robotic Systems ◽

Open Problems ◽

Autonomous Robotic Systems

Download Full-text

Are robots becoming unpopular? Changes in attitudes towards autonomous robotic systems in Europe

Computers in Human Behavior ◽

10.1016/j.chb.2018.11.045 ◽

2019 ◽

Vol 93 ◽

pp. 53-61 ◽

Cited By ~ 20

Author(s):

Timo Gnambs ◽

Markus Appel

Keyword(s):

Robotic Systems ◽

Autonomous Robotic Systems

Download Full-text

Towards Autonomous Robotic Systems

10.1007/978-3-319-96728-8 ◽

2018 ◽

Keyword(s):

Robotic Systems ◽

Autonomous Robotic Systems

Download Full-text

Distributed Autonomous Robotic Systems

Robotics and Autonomous Systems ◽

10.1016/s0921-8890(99)00095-0 ◽

1999 ◽

Vol 29 (1) ◽

pp. 1

Keyword(s):

Robotic Systems ◽

Autonomous Robotic Systems

Download Full-text

Distributed Autonomous Robotic Systems 7

10.1007/4-431-35881-1 ◽

2006 ◽

Cited By ~ 2

Keyword(s):

Robotic Systems ◽

Autonomous Robotic Systems

Download Full-text

Proceedings of the 1st International Workshop on Verification of Autonomous & Robotic Systems

10.1145/3459086 ◽

2021 ◽

Keyword(s):

International Workshop ◽

Robotic Systems ◽

Autonomous Robotic Systems

Download Full-text

Towards Useful Autonomous Robotic Systems for Field and Service Applications

Field and Service Robotics ◽

10.1007/978-1-4471-1273-0_5 ◽

1998 ◽

pp. 20-23 ◽

Cited By ~ 1

Author(s):

Shin’ichi Yuta

Keyword(s):

Robotic Systems ◽

Autonomous Robotic Systems

Download Full-text

Towards Autonomous Robotic Systems

10.1007/978-3-319-40379-3 ◽

2016 ◽

Keyword(s):

Robotic Systems ◽

Autonomous Robotic Systems

Download Full-text

Model-Based Development of QoS-Aware Reconfigurable Autonomous Robotic Systems

2018 Second IEEE International Conference on Robotic Computing (IRC) ◽

10.1109/irc.2018.00027 ◽

2018 ◽

Cited By ~ 5

Author(s):

Davide Brugali ◽

Rafael Capilla ◽

Raffaela Mirandola ◽

Catia Trubiani

Keyword(s):

Robotic Systems ◽

Model Based ◽

Autonomous Robotic Systems

Download Full-text

Evolving co-operation in autonomous robotic systems

International Conference on Control '94 ◽

10.1049/cp:19940270 ◽

1994 ◽

Cited By ~ 3

Author(s):

J.R. Rush

Keyword(s):

Robotic Systems ◽

Autonomous Robotic Systems

Download Full-text

Artificial immune-based swarm behaviors of distributed autonomous robotic systems

Proceedings 2001 ICRA. IEEE International Conference on Robotics and Automation (Cat. No.01CH37164) ◽

10.1109/robot.2001.933241 ◽

2002 ◽

Cited By ~ 2

Author(s):

Sang-Joon Sun ◽

Dong-Wook Lee ◽

Kwee-Bo Sim

Keyword(s):

Robotic Systems ◽

Artificial Immune ◽

Autonomous Robotic Systems

Download Full-text