Copertina

A New Strategy for Verifying Reach-Avoid Specifications in Neural Feedback Systems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Akinwande, Samuel I., Katz, Sydney M., Kochenderfer, Mykel J., Barrett, Clark
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Artificial Intelligence
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

The FABRIC Strategy for Verifying Neural Feedback Systems
di: Akinwande, Samuel I., et al.
Pubblicazione: (2026)

Polyhedral Enclosures: An Efficient Combinatorial Abstraction for Nonlinear Neural Feedback Systems
di: Akinwande, I. Samuel, et al.
Pubblicazione: (2025)

Failure Probability Estimation for Black-Box Autonomous Systems using State-Dependent Importance Sampling Proposals
di: Delecki, Harrison, et al.
Pubblicazione: (2024)

Scaling Recurrent Neural Networks to a Billion Parameters with Zero-Order Optimization
di: Chaubard, Francois, et al.
Pubblicazione: (2025)

Aircraft Collision Avoidance Systems: Technological Challenges and Solutions on the Path to Regulatory Acceptance
di: Katz, Sydney M., et al.
Pubblicazione: (2025)

Conditional Deep Generative Models for Belief State Planning
di: Bigeard, Antoine, et al.
Pubblicazione: (2025)

Beyond Gradient Averaging in Parallel Optimization: Improved Robustness through Gradient Agreement Filtering
di: Chaubard, Francois, et al.
Pubblicazione: (2024)

Disentangled Neural Relational Inference for Interpretable Motion Prediction
di: Dax, Victoria M., et al.
Pubblicazione: (2024)

Diffusion Models for Safety Validation of Autonomous Driving Systems
di: Wang, Juanran, et al.
Pubblicazione: (2025)

A Semi-Decentralized Approach to Multiagent Control
di: Al-Husseini, Mahdi, et al.
Pubblicazione: (2026)

Robust Planning for Autonomous Vehicles with Diffusion-Based Failure Samplers
di: Wang, Juanran, et al.
Pubblicazione: (2025)

Addressing Myopic Constrained POMDP Planning with Recursive Dual Ascent
di: Stocco, Paula, et al.
Pubblicazione: (2024)

Semi-Markovian Planning to Coordinate Aerial and Maritime Medical Evacuation Platforms
di: Al-Husseini, Mahdi, et al.
Pubblicazione: (2024)

Optimal Ground Station Selection for Low-Earth Orbiting Satellites
di: Eddy, Duncan, et al.
Pubblicazione: (2024)

Scene Informer: Anchor-based Occlusion Inference and Trajectory Prediction in Partially Observable Environments
di: Lange, Bernard, et al.
Pubblicazione: (2023)

BetaZero: Belief-State Planning for Long-Horizon POMDPs using Learned Approximations
di: Moss, Robert J., et al.
Pubblicazione: (2023)

Large-Scale Multi-Robot Assembly Planning for Autonomous Manufacturing
di: Brown, Kyle, et al.
Pubblicazione: (2023)

On Technique Identification and Threat-Actor Attribution using LLMs and Embedding Models
di: Guru, Kyla, et al.
Pubblicazione: (2025)

Graph Q-Learning for Combinatorial Optimization
di: Dax, Victoria M., et al.
Pubblicazione: (2024)

Talking with Verifiers: Automatic Specification Generation for Neural Network Verification
di: Elboher, Yizhak Y., et al.
Pubblicazione: (2026)

Reward Bias Substitution: Single-Axis Bias Mitigations Redirect Optimization Pressure
di: Lamparth, Max, et al.
Pubblicazione: (2026)

ConstrainedZero: Chance-Constrained POMDP Planning using Learned Probabilistic Failure Surrogates and Adaptive Safety Constraints
di: Moss, Robert J., et al.
Pubblicazione: (2024)

Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
di: Lützow, Laura, et al.
Pubblicazione: (2025)

Importance Sampling-Guided Meta-Training for Intelligent Agents in Highly Interactive Environments
di: Arief, Mansur, et al.
Pubblicazione: (2024)

Improving the Resilience of Quadrotors in Underground Environments by Combining Learning-based and Safety Controllers
di: Ward, Isaac Ronald, et al.
Pubblicazione: (2025)

One Bias After Another: Mechanistic Reward Shaping and Persistent Biases in Language Reward Models
di: Fein, Daniel, et al.
Pubblicazione: (2026)

Constrained Hierarchical Monte Carlo Belief-State Planning
di: Jamgochian, Arec, et al.
Pubblicazione: (2023)

Clover: Closed-Loop Verifiable Code Generation
di: Sun, Chuyue, et al.
Pubblicazione: (2023)

Scalable Ground Station Selection for Large LEO Constellations
di: Kim, Grace Ra, et al.
Pubblicazione: (2025)

Imperfect World Models are Exploitable
di: Bhamidipaty, Logan Mondal, et al.
Pubblicazione: (2026)

Diffusion-Based Failure Sampling for Evaluating Safety-Critical Autonomous Systems
di: Delecki, Harrison, et al.
Pubblicazione: (2024)

BetterBench: Assessing AI Benchmarks, Uncovering Issues, and Establishing Best Practices
di: Reuel, Anka, et al.
Pubblicazione: (2024)

A Taxonomy and Review of Algorithms for Modeling and Predicting Human Driver Behavior
di: Bhattacharyya, Raunak P., et al.
Pubblicazione: (2020)

Enhanced Importance Sampling through Latent Space Exploration in Normalizing Flows
di: Kruse, Liam A., et al.
Pubblicazione: (2025)

Prompting Decision Transformers for Zero-Shot Reach-Avoid Policies
di: Li, Kevin, et al.
Pubblicazione: (2025)

Entropy-regularized Point-based Value Iteration
di: Delecki, Harrison, et al.
Pubblicazione: (2024)

Expert Evaluation and the Limits of Human Feedback in Mental Health AI Safety Testing
di: Jafari, Kiana, et al.
Pubblicazione: (2026)

SCOUT: A Lightweight Framework for Scenario Coverage Assessment in Autonomous Driving
di: Yildiz, Anil, et al.
Pubblicazione: (2025)

DB-KSVD: Scalable Alternating Optimization for Disentangling High-Dimensional Embedding Spaces
di: Valentin, Romeo, et al.
Pubblicazione: (2025)

Optimizing Task Completion Time Updates Using POMDPs
di: Eddy, Duncan, et al.
Pubblicazione: (2026)