Cover Image

Ontology-Driven Robotic Specification Synthesis

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Figat, Maksym, Mackey, Ryan M., Ingham, Michel D.
Format:	Preprint
Published:	2026
Subjects:	Robotics Artificial Intelligence Systems and Control
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Simplification of Robotic System Model Analysis by Petri Net Meta-Model Property Transfer
by: Figat, Maksym, et al.
Published: (2024)

Neural-Rendezvous: Provably Robust Guidance and Control to Encounter Interstellar Objects
by: Tsukamoto, Hiroyasu, et al.
Published: (2022)

Meta-Control: Automatic Model-based Control Synthesis for Heterogeneous Robot Skills
by: Wei, Tianhao, et al.
Published: (2024)

Integrating Legal and Logical Specifications in Perception, Prediction, and Planning for Automated Driving: A Survey of Methods
by: Manas, Kumar, et al.
Published: (2025)

Reliable and Scalable Robot Policy Evaluation with Imperfect Simulators
by: Badithela, Apurva, et al.
Published: (2025)

Robot Operation of Home Appliances by Reading User Manuals
by: Zhang, Jian, et al.
Published: (2025)

Cost-Effective Robotic Handwriting System with AI Integration
by: Huang, Tianyi, et al.
Published: (2025)

Stonefish: Supporting Machine Learning Research in Marine Robotics
by: Grimaldi, Michele, et al.
Published: (2025)

Task and Domain Adaptive Reinforcement Learning for Robot Control
by: Liu, Yu Tang, et al.
Published: (2024)

Risk-aware Integrated Task and Motion Planning for Versatile Snake Robots under Localization Failures
by: Jasour, Ashkan, et al.
Published: (2025)

Synthesis of Stabilizing Recurrent Equilibrium Network Controllers
by: Junnarkar, Neelay, et al.
Published: (2022)

AgriChrono: A Multi-modal Dataset Capturing Crop Growth and Lighting Variability with a Field Robot
by: Jeong, Jaehwan, et al.
Published: (2025)

Symbolic Learning of Interpretable Reduced-Order Models for Jumping Quadruped Robots
by: Buriani, Gioele, et al.
Published: (2025)

Digital Twin based Automatic Reconfiguration of Robotic Systems in Smart Environments
by: Alexopoulos, Angelos, et al.
Published: (2025)

Pedipulate: Enabling Manipulation Skills using a Quadruped Robot's Leg
by: Arm, Philip, et al.
Published: (2024)

A Genetic Fuzzy-Enabled Framework on Robotic Manipulation for In-Space Servicing
by: Steffen, Nathan, et al.
Published: (2025)

TranTac: Leveraging Transient Tactile Signals for Contact-Rich Robotic Manipulation
by: Wu, Yinghao, et al.
Published: (2025)

Integrating Disambiguation and User Preferences into Large Language Models for Robot Motion Planning
by: Abugurain, Mohammed, et al.
Published: (2024)

Explainable AI-Enhanced Supervisory Control for Robust Multi-Agent Robotic Systems
by: Pirayeshshirazinezhad, Reza, et al.
Published: (2025)

Blending Data-Driven Priors in Dynamic Games
by: Lidard, Justin, et al.
Published: (2024)

Synthesis of Dynamic Masks for Information-Theoretic Opacity in Stochastic Systems
by: Udupa, Sumukha, et al.
Published: (2025)

Energy-Aware Reinforcement Learning for Robotic Manipulation of Articulated Components in Infrastructure Operation and Maintenance
by: Tao, Xiaowen, et al.
Published: (2026)

VLA-RAIL: A Real-Time Asynchronous Inference Linker for VLA Models and Robots
by: Zhao, Yongsheng, et al.
Published: (2025)

A Paragraph is All It Takes: Rich Robot Behaviors from Interacting, Trusted LLMs
by: OpenMind, et al.
Published: (2024)

MASH: Cooperative-Heterogeneous Multi-Agent Reinforcement Learning for Single Humanoid Robot Locomotion
by: Liu, Qi, et al.
Published: (2025)

A Comprehensive Review of Shepherding as a Bio-inspired Swarm-Robotics Guidance Approach
by: Long, Nathan K, et al.
Published: (2019)

Control Synthesis in Partially Observable Environments for Complex Perception-Related Objectives
by: Xuan, Zetong, et al.
Published: (2025)

Distributed Robust Learning based Formation Control of Mobile Robots based on Bioinspired Neural Dynamics
by: Xu, Zhe, et al.
Published: (2024)

Contact-Aided Navigation of Flexible Robotic Endoscope Using Deep Reinforcement Learning in Dynamic Stomach
by: Ng, Chi Kit, et al.
Published: (2025)

Jacobian Exploratory Dual-Phase Reinforcement Learning for Dynamic Endoluminal Navigation of Deformable Continuum Robots
by: Tian, Yu, et al.
Published: (2025)

Fault Tolerant Neural Control Barrier Functions for Robotic Systems under Sensor Faults and Attacks
by: Zhang, Hongchao, et al.
Published: (2024)

Multi-Waypoint Path Planning and Motion Control for Non-holonomic Mobile Robots in Agricultural Applications
by: Ghorab, Mahmoud, et al.
Published: (2025)

Integration of Large Language Models in Control of EHD Pumps for Precise Color Synthesis
by: Peng, Yanhong, et al.
Published: (2024)

Modelling, Positioning, and Deep Reinforcement Learning Path Tracking Control of Scaled Robotic Vehicles: Design and Experimental Validation
by: Caponio, Carmine, et al.
Published: (2024)

Who Plays First? Optimizing the Order of Play in Stackelberg Games with Many Robots
by: Hu, Haimin, et al.
Published: (2024)

TMR-VLA:Vision-Language-Action Model for Magnetic Motion Control of Tri-leg Silicone-based Soft Robot
by: Tang, Ruijie, et al.
Published: (2026)

Intelligent Collective Escape of Swarm Robots Based on a Novel Fish-inspired Self-adaptive Approach with Neurodynamic Models
by: Li, Junfei, et al.
Published: (2024)

SignVLA: A Gloss-Free Vision-Language-Action Framework for Real-Time Sign Language-Guided Robotic Manipulation
by: Tan, Xinyu, et al.
Published: (2026)

Communication- and Computation-Efficient Distributed Submodular Optimization in Robot Mesh Networks
by: Xu, Zirui, et al.
Published: (2024)

A Novel Feature Learning-based Bio-inspired Neural Network for Real-time Collision-free Rescue of Multi-Robot Systems
by: Li, Junfei, et al.
Published: (2024)