conftrace_

autonomous system

63 papers

Explore in graph

Also known as

AS

Co-occurring keywords

formal verification (284) autonomous agent (168) artificial intelligence (29) safety verification (28) explainable ai (480) trajectory prediction (489) reinforcement learning (4352) real-time system (34) human-ai interaction (202) linear temporal logic (82)

Papers

Bot Blitz: A Scalable Hands-On Workshop for Teaching AI and Robotics Concepts Through Narrative-Driven Problem Solving AAAI 2026
VISTA: A Vision and Intent-Aware Social Attention Framework for Multi-Agent Trajectory Prediction WACV 2026
Trustworthy Autonomy Without Human Intervention in Uncertain Domains AAAI 2026
On Trustworthy, Explainable, and Verifiable High-Level Autonomy via Hierarchical Planning AAAI 2026
Socially-Informed Reconstruction for Pedestrian Trajectory Forecasting WACV 2025
Personalized open world plan generation for safety-critical human centered autonomous systems: A case study on Artificial Pancreas EMNLP 2025
Bidirectional Human-AI Learning in Real-Time Disoriented Balancing AAAI 2025
From Gambits to Assurances: Game-Theoretic Integration of Safety and Learning for Interactive Robotics AAAI 2025
Finding Dino: A Plug-and-Play Framework for Zero-Shot Detection of Out-of-Distribution Objects using Prototypes WACV 2025
Responsibility Anticipation and Attribution in LTLf IJCAI 2025
Neural Control and Certificate Repair via Runtime Monitoring AAAI 2025
TimberVision: A Multi-Task Dataset and Framework for Log-Component Segmentation and Tracking in Autonomous Forestry Operations WACV 2025
Data-flow Availability: Achieving Timing Assurance in Autonomous Systems OSDI 2024
Accurate Parameter Estimation for Safety-Critical Systems with Unmodeled Dynamics (Abstract Reprint) AAAI 2024
Debug Smarter, Not Harder: AI Agents for Error Resolution in Computational Notebooks EMNLP 2024
Shared Autonomy with IDA: Interventional Diffusion Assistance NIPS 2024
SEEV: Synthesis with Efficient Exact Verification for ReLU Neural Barrier Functions NIPS 2024
Towards Trustworthy Autonomous Systems via Conversations and Explanations AAAI 2024
Zero-Shot Transfer of Neural ODEs NIPS 2024
Social, Legal, Ethical, Empathetic, and Cultural Rules: Compilation and Reasoning AAAI 2024
Safety Validation of Learning-Based Autonomous Systems: A Multi-Fidelity Approach AAAI 2023
Reachability Analysis of Neural Network Control Systems AAAI 2023
Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games AAAI 2023
Time-Incremental Learning of Temporal Logic Classifiers Using Decision Trees L4DC 2023
Combining Runtime Monitoring and Machine Learning with Human Feedback AAAI 2023