Bounded Model Checking for Metric Temporal Logic Properties of Timed Automata with Digital Clocks. [PDF]
Sensors (Basel), 2022 Zbrzezny AM, Zbrzezny A.
europepmc +1 more source
Control with probabilistic signal temporal logic [PDF]
, 2015 Autonomous agents often operate in uncertain environments where their decisions are made based on beliefs over states of targets. We are interested in controller synthesis for complex tasks defined over belief spaces.
Belta, Calin, Yoo, Chanyeol
core
Grounding Large Language Models for Robot Task Planning Using Closed‐Loop State Feedback
Advanced 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
Mapping Temporally Ordered Inputs to Binary Message Outputs with a DNA Temporal Logic Circuit. [PDF]
Nanomaterials (Basel), 2023 Zhao S +5 more
europepmc +1 more source
Advanced Robotics Research, EarlyView.Automated poultry processing lines still rely on humans to lift slippery, easily bruised carcasses onto a shackle conveyor. Deformability, anatomical variance, and hygiene rules make conventional suction and scripted motions unreliable. We present ChicGrasp, an end‐to‐end hardware‐software co‐designed imitation learning framework, to offer a ...
Amirreza Davar +8 more
wiley +1 more source
Temporal logic circuits implementation using a dual cross-inhibition mechanism based on DNA strand displacement. [PDF]
RSC Adv, 2023 Liu Y +6 more
europepmc +1 more source
A Soft Robotic Device for Targeted Massage Therapy of Residual Limbs
Advanced Robotics Research, EarlyView.Residual limb edema after amputation can hinder recovery and delay prosthetic fitting. This study presents a soft‐robotic wearable device that delivers sequential compression through pneumatic McKibben actuators. By replicating the principles of manual lymphatic drainage, the device generates controlled mechanotherapeutic pressure patterns, providing a
Maria Grazia Polizzotto +5 more
wiley +1 more source
Safe reinforcement learning under temporal logic with reward design and quantum action selection. [PDF]
Sci Rep, 2023 Cai M, Xiao S, Li J, Kan Z.
europepmc +1 more source
Transformational Verification of Linear Temporal Logic [PDF]
, 2009 We present a new method for verifying Linear Temporal Logic (LTL) properties of finite state reactive systems based on logic programming and program transformation.
Pettorossi, Alberto +2 more
core
Multimodal Human–Robot Interaction Using Human Pose Estimation and Local Large Language Models
Advanced 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