Cover Image

Pretrained Embeddings as a Behavior Specification Mechanism

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kapoor, Parv, Hammer, Abigail, Kapoor, Ashish, Leung, Karen, Kang, Eunsuk
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Robotics Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Counterexample Classification against Signal Temporal Logic Specifications
by: Zhang, Zhenya, et al.
Published: (2026)

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
by: Kapoor, Parv, et al.
Published: (2026)

Logically Constrained Robotics Transformers for Enhanced Perception-Action Planning
by: Kapoor, Parv, et al.
Published: (2024)

STLCG++: A Masking Approach for Differentiable Signal Temporal Logic Specification
by: Kapoor, Parv, et al.
Published: (2025)

Safe Planning through Incremental Decomposition of Signal Temporal Logic Specifications
by: Kapoor, Parv, et al.
Published: (2024)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
by: Zhang, Changjian, et al.
Published: (2023)

Symbolic Guardrails for Domain-Specific Agents: Stronger Safety and Security Guarantees Without Sacrificing Utility
by: Hong, Yining, et al.
Published: (2026)

Modeling and Simulation of a Multi Robot System Architecture
by: Sadik, Ahmed R., et al.
Published: (2024)

On the Need for a Statistical Foundation in Scenario-Based Testing of Autonomous Vehicles
by: Zhao, Xingyu, et al.
Published: (2025)

aerial-autonomy-stack -- a Faster-than-real-time, Autopilot-agnostic, ROS2 Framework to Simulate and Deploy Perception-based Drones
by: Panerati, Jacopo, et al.
Published: (2026)

A Behavior Tree-inspired programming language for autonomous agents
by: Biggar, Oliver, et al.
Published: (2024)

Agent-Arena: A General Framework for Evaluating Control Algorithms
by: Kadi, Halid Abdulrahim, et al.
Published: (2025)

ROSBag MCP Server: Analyzing Robot Data with LLMs for Agentic Embodied AI Applications
by: Fu, Lei, et al.
Published: (2025)

STCLocker: Deadlock Avoidance Testing for Autonomous Driving Systems
by: Cheng, Mingfei, et al.
Published: (2025)

When Autonomous Vehicle Meets V2X Cooperative Perception: How Far Are We?
by: Guo, An, et al.
Published: (2025)

Out of Distribution Detection in Self-adaptive Robots with AI-powered Digital Twins
by: Isaku, Erblin, et al.
Published: (2025)

Argus: Resilience-Oriented Safety Assurance Framework for End-to-End ADSs
by: Wang, Dingji, et al.
Published: (2025)

Capability-Driven Skill Generation with LLMs: A RAG-Based Approach for Reusing Existing Libraries and Interfaces
by: da Silva, Luis Miguel Vieira, et al.
Published: (2025)

cuVSLAM: CUDA accelerated visual odometry and mapping
by: Korovko, Alexander, et al.
Published: (2025)

Simulator Ensembles for Trustworthy Autonomous Driving Testing
by: Sorokin, Lev, et al.
Published: (2025)

LMV-RPA: Large Model Voting-based Robotic Process Automation
by: Abdellatif, Osama, et al.
Published: (2024)

Modeling Resilience of Collaborative AI Systems
by: Rimawi, Diaeddin, et al.
Published: (2024)

Boundary State Generation for Testing and Improvement of Autonomous Driving Systems
by: Biagiola, Matteo, et al.
Published: (2023)

VSRQ: Quantitative Assessment Method for Safety Risk of Vehicle Intelligent Connected System
by: Zhang, Tian, et al.
Published: (2023)

Generating Critical Scenarios for Testing Automated Driving Systems
by: Nguyen, Trung-Hieu, et al.
Published: (2024)

Multi-Robot System Architecture design in SysML and BPMN
by: Sadik, Ahmed R., et al.
Published: (2024)

Towards LLM-Assisted Architecture Recovery for Real-World ROS~2 Systems: An Agent-Based Multi-Level Approach to Hierarchical Structural Architecture Reconstruction
by: Briechle, Dominique, et al.
Published: (2026)

Formal Safety Guarantees for Autonomous Vehicles using Barrier Certificates
by: Barhoumi, Oumaima, et al.
Published: (2026)

GAMMS: Graph based Adversarial Multiagent Modeling Simulator
by: Patil, Rohan, et al.
Published: (2026)

Risk Structures: Towards Engineering Risk-aware Autonomous Systems
by: Gleirscher, Mario
Published: (2019)

KEEP: A KV-Cache-Centric Memory Management System for Efficient Embodied Planning
by: Yang, Zebin, et al.
Published: (2026)

ROSMonitoring 2.0: Extending ROS Runtime Verification to Services and Ordered Topics
by: Saadat, Maryam Ghaffari, et al.
Published: (2024)

Automated System-level Testing of Unmanned Aerial Systems
by: Sartaj, Hassan, et al.
Published: (2024)

A Method for the Runtime Validation of AI-based Environment Perception in Automated Driving System
by: Aslam, Iqra, et al.
Published: (2024)

Fast and Modular Autonomy Software for Autonomous Racing Vehicles
by: Saba, Andrew, et al.
Published: (2024)

Generative AI for CAD Automation: Leveraging Large Language Models for 3D Modelling
by: Kumar, Sumit, et al.
Published: (2025)

Constrained LTL Specification Learning from Examples
by: Zhang, Changjian, et al.
Published: (2024)

Tolerance of Reinforcement Learning Controllers against Deviations in Cyber Physical Systems
by: Zhang, Changjian, et al.
Published: (2024)

Towards Specification-Driven LLM-Based Generation of Embedded Automotive Software
by: Patil, Minal Suresh, et al.
Published: (2024)

Explainable Artificial Intelligence Techniques for Software Development Lifecycle: A Phase-specific Survey
by: Arora, Lakshit, et al.
Published: (2025)