Results 41 to 50 of about 4,913 (260)

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, Ali Umut Kaypak, Prashanth Krishnamurthy, Ramesh Karri, Farshad Khorrami   +4 more
wiley   +1 more source

Practical Runtime Verification of Cross-Organizational Smart Contracts

IEEE Access
Smart contracts in blockchains often implement critical functionality; consequently, their development-time software fault detection, removal, and avoidance have been the target of intensive research.
Damaris Jepkurui Kangogo, Bertalan Zoltan Peter, Attila Klenik, Imre Kocsis   +3 more
doaj   +1 more source

Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces [PDF]

Electronic Proceedings in Theoretical Computer Science, 2013
Runtime verification is checking whether a system execution satisfies or violates a given correctness property. A procedure that automatically, and typically on the fly, verifies conformance of the system's behavior to the specified property is called a ...
Mikhail Chupilko, Alexander Kamkin
doaj   +1 more source

Monitors That Learn From Failures: Pairing STL and Genetic Programming

IEEE Access, 2023
In several domains, systems generate continuous streams of data during their execution, including meaningful telemetry information, that can be used to perform tasks like preemptive failure detection.
Andrea Brunello, Dario Della Monica, Angelo Montanari, Nicola Saccomanno, Andrea Urgolo   +4 more
doaj   +1 more source

A Model for Collaborative Runtime Verification

International Joint Conference on Autonomous Agents and Multiagent Systems, 2015
Runtime verification concerns checking whether a system execution satisfies a given property. In this paper we propose a model for collaborative runtime verification where a network of local monitors collaborates in order to verify properties of the system.
Testerink, Bas, Bulling, Nils, Dastani, Mehdi   +2 more
openaire   +4 more sources

Improving the Robustness of Visual Teach‐and‐Repeat Navigation Using Drift Error Correction and Event‐Based Vision for Low‐Light Environments

Advanced Robotics Research, EarlyView.
Visual teach‐and‐repeat (VTR) navigation allows robots to learn and follow routes without building a full metric map. We show that navigation accuracy for VTR can be improved by integrating a topological map with error‐drift correction based on stereo vision.
Fuhai Ling, Ze Huang, Tony J. Prescott
wiley   +1 more source

A State‐Adaptive Koopman Control Framework for Real‐Time Deformable Tool Manipulation in Robotic Environmental Swabbing

Advanced Robotics Research, EarlyView.
This work presents a state‐adaptive Koopman linear quadratic regulator framework for real‐time manipulation of a deformable swab tool in robotic environmental sampling. By combining Koopman linearization, tactile sensing, and centroid‐based force regulation, the system maintains stable contact forces and high coverage across flat and inclined surfaces.
Siavash Mahmoudi, Amirreza Davar, Dongyi Wang   +2 more
wiley   +1 more source

Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs [PDF]

Electronic Proceedings in Theoretical Computer Science, 2018
Dynamically typed languages, like Erlang, allow developers to quickly write programs without explicitly providing any type information on expressions or function definitions. However, this feature makes those languages less reliable than statically typed
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi, Maurizio Proietti   +4 more
doaj   +1 more source

LLM‐Integrated Human–Robot Interaction System for Microrobots

Advanced 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

Automated Deductive Verification for Ladder Programming [PDF]

Electronic Proceedings in Theoretical Computer Science, 2019
Ladder Logics is a programming language standardized in IEC 61131-3 and widely used for programming industrial Programmable Logic Controllers (PLC). A PLC program consists of inputs (whose values are given at runtime by factory sensors), outputs (whose ...
Denis Cousineau, David Mentré, Hiroaki Inoue   +2 more
doaj   +1 more source