April 12, 2017 (Wednesday)

08:20-09:40Round Room IIIRC(13) Formal Methods for Analysis and Design (II)
Session Chair: Luca Muratore, Istituto Italiano di Tecnologia, Italy

Formal Verification of Robotic Behaviors in Presence of Bounded Uncertainties
Julien Alexandre dit Sandretto, Alexandre Chapoutot, Olivier Mullier

Safety Computer Vision Rules for Improved Sensor Certification
Johann Thor Mogensen Ingibergsson, Dirk Kraft, Ulrik Pagh Schultz

Control Strategy Research for a Biped Walking Robot with Flexible Ankle Joints
Xizhe Zang, Zhenkun Lin, Yixiang Liu, Xinran Sun, Jie Zhao

Sequential Action Selection for Budgeted Localization in Robots
Nassim Aklil, Benoît Girard, Mehdi Khamassi, Ludovic Denoyer
VIP RoomCHARMS2017(3) Collaboration for Humans, Agents, Robots, Machines and Sensors (CHARMS III)
Session Chair: John Gallagher, Wright State University, USA

A Conditional Context-Awareness Ontology Based Personalized Recommendation Approach for E-Reading
Qian Gao, Aimei Dong

Sign Language Learning System with Image Sampling and Convolutional Neural Network
Yangho Ji, Sunmok Kim, Ki-Baek Lee

Arm Motion Estimation Algorithm Using MYO Armband
Hyo Jin Kim, Ye Sol Lee, Donghan Kim

A Provisional Approach to Maintaining Verification and Validation Capability in Self-Adapting Robots
John C. Gallagher, Eric T. Matson, James Goppert
09:40-10:00Coffee Break
10:00-11:00Round Room IICHARMS2017(4) Collaboration for Humans, Agents, Robots, Machines and Sensors (CHARMS IV)
Session Chair: Qian Gao, Qilu University of Technology, China

A Human Geometry Measurement Method Using IMU Sensor
Jin Woo Noh, Yongjae Yun, Donghyeon Seo, Dong Han Kim

Security Authentication System Using Encrypted Channel on UAV Network
Kwanwoong Yoon, Daejun Park, Yujin Yim, Kyounghee Kim, Szu Kai Yang, Myles Robinson

A Visual Localization Technique for Unmanned Ground and Aerial Robots
Jae Hong Shim, Young Im Cho
VIP RoomSpecial Session
Session Chair: Daniela D'Auria, Università degli Studi di Napoli Federico II, Italy

Learning by Demonstration for a Dancing Robot within a Computational Creativity Framework
Adriano Manfrè, Ignazio Infantino, Agnese Augello, Giovanni Pilato, Filippo Vella

HeritageBot Service Robot assisting in Cultural Heritage
Marco Ceccarelli, Daniele Cafolla, Giuseppe Carbone, Matteo Russo, Michela Cigola, Luca J. Senatore, Arturo Gallozzi, Roberto Di Maccio, Francesco Ferrante, Francesco Bolici, Stefano Supino, Nello Colella, Marina Bianchi, Carmelo Intrisano, Giuseppe Recinto, Annapaola Micheli, Domenico Vistocco, Maria Rita Nuccio, Maria Porcelli

The Role of Semantics in Improving Medical Doctors' Performance
Daniela D’Auria, Fabio Persia
11:10-12:10Round Room IICHARMS2017(5) Collaboration for Humans, Agents, Robots, Machines and Sensors (CHARMS V)
Session Chair: Dong Han Kim, Kyung Hee University, Korea

Novel Design of Artificial Eye Using EOG (Electrooculography)
Eunha Moon, Hyeonjun Park, Jargalbaatar Yura, Donghan Kim

Analog to Digital Converter and Phase Locked Loop for R-G-B Sensors in 3D Camera Application
Wen-Cheng Lai, Ho-Chang Lee, Yen-Jong Su

Design Guidelines for Sensor Locations on 3D Printed Prosthetic Hands
Hyun Hwang, Jun Han Bae, Byung-Cheol Min
VIP RoomWSR2017 Semantic Robots (WSR)
Session Chair: Hsueh-Ting Chu, Asia University, Taiwan

Playing Mastermind Game by Using Reinforcement Learning
Wei-Fu Lu, Ji-Kai Yang, Hsueh-Ting Chu

Knowledge-based sensing/acting in mobile autonomous robots
Michele Ruta, Floriano Scioscia, Giuseppe Loseto, Eugenio Di Sciascio
12:10-13:00Round Room ILunch
13:00-16:00Round Room IITutorial Program

Session Chair: Daniela D'Auria, Università degli Studi di Napoli Federico II, Italy