Results 91 to 100 of about 949,278 (287)

Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback

open access: yesAdvanced Robotics Research, EarlyView.
BrainBody‐Large Language Model (LLM) introduces a hierarchical, feedback‐driven planning framework where two LLMs coordinate high‐level reasoning and low‐level control for robotic tasks. By grounding decisions in real‐time state feedback, it reduces hallucinations and improves task reliability.
Vineet Bhat   +4 more
wiley   +1 more source

Multimodal Engagement Assessment in Children During Invented Story Paradigm With a Social Robot

open access: yesAdvanced Robotics Research, EarlyView.
A multimodal framework is proposed to assess children's engagement during storytelling interactions with a social robot. Gaze, physiological, and behavioral data are combined and validated against observer ratings. An automated gaze‐labeling strategy is introduced, and supervised classifiers achieve high accuracy. The study supports scalable engagement
Laura Fiorini   +7 more
wiley   +1 more source

Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models

open access: yesAdvanced Robotics Research, EarlyView.
A multimodal human–robot interaction framework integrates human pose estimation (HPE) and a large language model (LLM) for gesture‐ and voice‐based robot control. Speech‐to‐text (STT) enables voice command interpretation, while a safety‐aware arbitration mechanism prioritizes gesture input for rapid intervention.
Nasiru Aboki   +2 more
wiley   +1 more source

MultiOtter: Multiprocess Symbolic Execution [PDF]

open access: yes, 2011
Symbolic execution can be an effective technique for exploring large numbers of program paths, but it has generally been applied to programs running in isolation, whose inputs are files or command-line arguments.
Turpie, Jonathan   +3 more
core   +1 more source

Symbolic execution: a semantic approach

open access: yesScience of Computer Programming, 1991
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire   +3 more sources

LLM‐Integrated Human–Robot Interaction System for Microrobots

open access: yesAdvanced Robotics Research, EarlyView.
This paper proposes an LLM‐based control framework for guiding microrobots using human natural language. This framework can convert the natural human speech into safe and executable command sets for reliable navigation in complex environments. The experimental results show high accuracy and robustness in task performance, demonstrating the potential of
Bairong Zhu, Amar Salehi, Tingting Yu
wiley   +1 more source

An approach of reachability determination for static analysis defects with help of dynamic symbolic execution

open access: yesТруды Института системного программирования РАН, 2018
Historically program analysis methods are divided into two groups - static program analysis methods and dynamic program analysis methods. In this paper, we present a combined approach which allows to determine reachability for defects found by static ...
A. Y. Gerasimov   +3 more
doaj   +1 more source

Design and Modeling of a High‐Displacement, Skin‐Integrated Flexible Electromagnetic Actuator for Haptic Interfaces in Virtual Reality

open access: yesAdvanced Robotics Research, EarlyView.
A flexible, skin‐integrated electromagnetic actuator is developed for wearable virtual/augmented reality (VR/AR) haptic systems. A tunable design model enables control over displacement and resonance frequency. The system is validated through a custom VR application with a 6 × 4 actuator array, demonstrating real‐time, spatially targeted tactile ...
Naji Tarabay   +9 more
wiley   +1 more source

Enhancing Amphibious Flipper‐Based Locomotion Through Terrain‐Dependent Bayesian Optimization of Central Pattern Generator Control

open access: yesAdvanced Robotics Research, EarlyView.
A sea turtle‐inspired amphibious robot uses simulation‐guided optimization to adapt its flipper coordination to different environments. Sensitivity analysis and multiobjective Bayesian optimization identify terrain‐dependent controllers that are validated on hardware.
Nnamdi C. Chikere, Yasemin Ozkan‐Aydin
wiley   +1 more source

A Survey of Search Strategies in the Dynamic Symbolic Execution

open access: yesITM Web of Conferences, 2017
Dynamic symbolic execution (DSE) is an important way to discover software vulnerabilities. One key challenge in DSE is to find proper paths in the huge program execution space to generate effective inputs.
Liu Yu, Zhou Xu, Gong Wei-Wei
doaj   +1 more source

Home - About - Disclaimer - Privacy