Copertina

Scenario-based Compositional Verification of Autonomous Systems with Neural Perception

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Watson, Christopher, Alur, Rajeev, Gopinath, Divya, Mangal, Ravi, Pasareanu, Corina S.
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Machine Learning Robotics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Concept-Based Abductive and Contrastive Explanations for Behaviors of Vision Models
di: Canizales, Ronaldo, et al.
Pubblicazione: (2026)

Debugging and Runtime Analysis of Neural Networks with VLMs (A Case Study)
di: Hu, Boyue Caroline, et al.
Pubblicazione: (2025)

Prophecy: Inferring Formal Properties from Neuron Activations
di: Gopinath, Divya, et al.
Pubblicazione: (2025)

Concept-based Analysis of Neural Networks via Vision-Language Models
di: Mangal, Ravi, et al.
Pubblicazione: (2024)

Chordal Sparsity for SDP-based Neural Network Verification
di: Xue, Anton, et al.
Pubblicazione: (2022)

Risk-Sensitive Agent Compositions
di: Shabadi, Guruprerana, et al.
Pubblicazione: (2025)

Validating Mechanistic Interpretations: An Axiomatic Approach
di: Palumbo, Nils, et al.
Pubblicazione: (2024)

Conformal Safety Shielding for Imperfect-Perception Agents
di: Scarbro, William, et al.
Pubblicazione: (2025)

On the Difficulty of Selecting Few-Shot Examples for Effective LLM-based Vulnerability Detection
di: Hannan, Md Abdul, et al.
Pubblicazione: (2025)

Scalable Surrogate Verification of Image-based Neural Network Control Systems using Composition and Unrolling
di: Cai, Feiyang, et al.
Pubblicazione: (2024)

Fighting AI with AI: Leveraging Foundation Models for Assuring AI-Enabled Safety-Critical Systems
di: Mavridou, Anastasia, et al.
Pubblicazione: (2025)

Verification of Neural Reachable Tubes via Scenario Optimization and Conformal Prediction
di: Lin, Albert, et al.
Pubblicazione: (2023)

Beyond Confidence: Adaptive Abstention in Dual-Threshold Conformal Prediction for Autonomous System Perception
di: Kumar, Divake, et al.
Pubblicazione: (2025)

Autonomous Strike UAVs for Counterterrorism Missions: Challenges and Preliminary Solutions
di: Aljohani, Meshari, et al.
Pubblicazione: (2024)

GraphSCENE: On-Demand Critical Scenario Generation for Autonomous Vehicles in Simulation
di: Panagiotaki, Efimia, et al.
Pubblicazione: (2024)

Verification of Visual Controllers via Compositional Geometric Transformations
di: Estornell, Alexander, et al.
Pubblicazione: (2025)

RiskNet: Interaction-Aware Risk Forecasting for Autonomous Driving in Long-Tail Scenarios
di: Liu, Qichao, et al.
Pubblicazione: (2025)

CAFE-AD: Cross-Scenario Adaptive Feature Enhancement for Trajectory Planning in Autonomous Driving
di: Zhang, Junrui, et al.
Pubblicazione: (2025)

Evaluating Deep Neural Networks in Deployment (A Comparative and Replicability Study)
di: Pinconschi, Eduard, et al.
Pubblicazione: (2024)

UniGen: Unified Modeling of Initial Agent States and Trajectories for Generating Autonomous Driving Scenarios
di: Mahjourian, Reza, et al.
Pubblicazione: (2024)

Vision-based Perception System for Automated Delivery Robot-Pedestrians Interactions
di: Tushe, Ergi, et al.
Pubblicazione: (2025)

Scenario-Based Curriculum Generation for Multi-Agent Autonomous Driving
di: Brunnbauer, Axel, et al.
Pubblicazione: (2024)

CTSketch: Compositional Tensor Sketching for Scalable Neurosymbolic Learning
di: Choi, Seewon, et al.
Pubblicazione: (2025)

DiffRoad: Realistic and Diverse Road Scenario Generation for Autonomous Vehicle Testing
di: Zhou, Junjie, et al.
Pubblicazione: (2024)

Enhancing Autonomous Vehicle Training with Language Model Integration and Critical Scenario Generation
di: Tian, Hanlin, et al.
Pubblicazione: (2024)

Microsaccade-Inspired Probing: Positional Encoding Perturbations Reveal LLM Misbehaviours
di: Melo, Rui, et al.
Pubblicazione: (2025)

Fusing Driver Perceived and Physical Risk for Safety Critical Scenario Screening in Autonomous Driving
di: Xiong, Chen, et al.
Pubblicazione: (2026)

Distributionally Robust Statistical Verification with Imprecise Neural Networks
di: Dutta, Souradeep, et al.
Pubblicazione: (2023)

World Model-based Perception for Visual Legged Locomotion
di: Lai, Hang, et al.
Pubblicazione: (2024)

HOPE: A Reinforcement Learning-based Hybrid Policy Path Planner for Diverse Parking Scenarios
di: Jiang, Mingyang, et al.
Pubblicazione: (2024)

Adversarial Robustness Analysis of Cloud-Assisted Autonomous Driving Systems
di: Islam, Maher Al, et al.
Pubblicazione: (2026)

Constraint-Aware Refinement for Safety Verification of Neural Feedback Loops
di: Rober, Nicholas, et al.
Pubblicazione: (2024)

Distributional Soft Actor-Critic with Harmonic Gradient for Safe and Efficient Autonomous Driving in Multi-lane Scenarios
di: Zhang, Feihong, et al.
Pubblicazione: (2025)

A Framework for Learning Scoring Rules in Autonomous Driving Planning Systems
di: Xiong, Zikang, et al.
Pubblicazione: (2025)

PRIMER: Perception-Aware Robust Learning-based Multiagent Trajectory Planner
di: Kondo, Kota, et al.
Pubblicazione: (2024)

SEAL: Towards Safe Autonomous Driving via Skill-Enabled Adversary Learning for Closed-Loop Scenario Generation
di: Stoler, Benjamin, et al.
Pubblicazione: (2024)

Architecture for Multi-Unmanned Aerial Vehicles based Autonomous Precision Agriculture Systems
di: Temesgen, Ebasa, et al.
Pubblicazione: (2026)

Incorporating System-level Safety Requirements in Perception Models via Reinforcement Learning
di: Fan, Weisi, et al.
Pubblicazione: (2024)

Panoptic Perception for Autonomous Driving: A Survey
di: Li, Yunge, et al.
Pubblicazione: (2024)

Vision-based DRL Autonomous Driving Agent with Sim2Real Transfer
di: Li, Dianzhao, et al.
Pubblicazione: (2023)