Co-occurring keywords · papers mentioning both
Papers
Bot Blitz: A Scalable Hands-On Workshop for Teaching AI and Robotics Concepts Through Narrative-Driven Problem Solving
AAAI 2026
On Trustworthy, Explainable, and Verifiable High-Level Autonomy via Hierarchical Planning
AAAI 2026
Trustworthy Autonomy Without Human Intervention in Uncertain Domains
AAAI 2026
VISTA: A Vision and Intent-Aware Social Attention Framework for Multi-Agent Trajectory Prediction
WACV 2026
Bidirectional Human-AI Learning in Real-Time Disoriented Balancing
AAAI 2025
Finding Dino: A Plug-and-Play Framework for Zero-Shot Detection of Out-of-Distribution Objects using Prototypes
WACV 2025
From Gambits to Assurances: Game-Theoretic Integration of Safety and Learning for Interactive Robotics
AAAI 2025
From Space to Time: Enabling Adaptive Safety with Learned Value Functions via Disturbance Recasting
CoRL 2025
Neural Control and Certificate Repair via Runtime Monitoring
AAAI 2025
Personalized open world plan generation for safety-critical human centered autonomous systems: A case study on Artificial Pancreas
EMNLP 2025
Rare event modeling with self-regularized normalizing flows: what can we learn from a single failure?
ICLR 2025
Responsibility Anticipation and Attribution in LTLf
IJCAI 2025
Socially-Informed Reconstruction for Pedestrian Trajectory Forecasting
WACV 2025
TimberVision: A Multi-Task Dataset and Framework for Log-Component Segmentation and Tracking in Autonomous Forestry Operations
WACV 2025
Accurate Parameter Estimation for Safety-Critical Systems with Unmodeled Dynamics (Abstract Reprint)
AAAI 2024
Data-flow Availability: Achieving Timing Assurance in Autonomous Systems
OSDI 2024
Debug Smarter, Not Harder: AI Agents for Error Resolution in Computational Notebooks
EMNLP 2024
Evaluation of Trajectory Distribution Predictions with Energy Score
ICML 2024
Physics-Regulated Deep Reinforcement Learning: Invariant Embeddings
ICLR 2024
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions
NeurIPS 2024
Shared Autonomy with IDA: Interventional Diffusion Assistance
NeurIPS 2024
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning
AAAI 2024
Towards Trustworthy Autonomous Systems via Conversations and Explanations
AAAI 2024
Zero-Shot Transfer of Neural ODEs
NeurIPS 2024
A Bayesian approach to breaking things: efficiently predicting and repairing failure modes via sampling
CoRL 2023