Image de couverture de livre

Probabilistic Robustness Analysis in High Dimensional Space: Application to Semantic Segmentation Network

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Hashemi, Navid, Sasaki, Samuel, Lopez, Diego Manzanas, Lindemann, Lars, Oguz, Ipek, Ma, Meiyi, Johnson, Taylor T.
Format:	Preprint
Publié:	2025
Sujets:	Computer Vision and Pattern Recognition Artificial Intelligence
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Towards Verified and Targeted Explanations through Formal Methods
par: Wang, Hanchen David, et autres
Publié: (2026)

PCA-DDReach: Efficient Statistical Reachability Analysis of Stochastic Dynamical Systems via Principal Component Analysis
par: Hashemi, Navid, et autres
Publié: (2025)

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift
par: Hashemi, Navid, et autres
Publié: (2024)

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
par: Robinette, Preston K., et autres
Publié: (2024)

Formal Logic Enabled Personalized Federated Learning Through Property Inference
par: An, Ziyan, et autres
Publié: (2024)

PRISM: A Promptable and Robust Interactive Segmentation Model with Visual Prompts
par: Li, Hao, et autres
Publié: (2024)

Endo-SemiS: Towards Robust Semi-Supervised Image Segmentation for Endoscopic Video
par: Li, Hao, et autres
Publié: (2025)

Spatiotemporal Robustness of Temporal Logic Tasks using Multi-Objective Reasoning
par: Schön, Oliver, et autres
Publié: (2026)

AdaptDiff: Cross-Modality Domain Adaptation via Weak Conditional Semantic Diffusion for Retinal Vessel Segmentation
par: Hu, Dewei, et autres
Publié: (2024)

Split Conformal Prediction in the Function Space with Neural Operators
par: Millard, David, et autres
Publié: (2025)

Interactive Segmentation Model for Placenta Segmentation from 3D Ultrasound images
par: Li, Hao, et autres
Publié: (2024)

Robust STL Control Synthesis under Maximal Disturbance Sets
par: Verhagen, Joris, et autres
Publié: (2024)

Trigger-Based Fragile Model Watermarking for Image Transformation Networks
par: Robinette, Preston K., et autres
Publié: (2024)

LOGSAFE: Logic-Guided Verification for Trustworthy Federated Time-Series Learning
par: Nguyen, Dung Thuy, et autres
Publié: (2024)

Chordal Sparsity for SDP-based Neural Network Verification
par: Xue, Anton, et autres
Publié: (2022)

Efficient Adaptation of Deep Neural Networks for Semantic Segmentation in Space Applications
par: Olivi, Leonardo, et autres
Publié: (2025)

Modeling Spectral Energy Shifts in Spatio-Temporal Graph Anomaly Detection
par: Liu, Yilin, et autres
Publié: (2026)

Metriplectic Conditional Flow Matching for Dissipative Dynamics
par: Baheri, Ali, et autres
Publié: (2025)

Probabilistic Tube-based Control Synthesis of Stochastic Multi-Agent Systems under Signal Temporal Logic
par: Vlahakis, Eleftherios E., et autres
Publié: (2024)

V-MORALS: Visual Morse Graph-Aided Estimation of Regions of Attraction in a Learned Latent Space
par: Aladin, Faiz, et autres
Publié: (2026)

Verification and Forward Invariance of Control Barrier Functions for Differential-Algebraic Systems
par: Zhang, Hongchao, et autres
Publié: (2026)

Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction
par: Mirzaeedodangeh, Omid, et autres
Publié: (2025)

Refuelling Behaviour and Electric Vehicle Uptake: Evidence From a Behavioural Transition Framework in Western Australia
par: Navid Hashemi Taba, et autres
Publié: (2026)

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
par: Hoxha, Bardh, et autres
Publié: (2026)

Towards Reliable Neural Optimizers: A Permutation Equivariant Neural Approximation for Information Processing Applications
par: Li, Meiyi, et autres
Publié: (2024)

Emotion Regulation, Coping, and Alexithymia in Adolescents With Obsessive–Compulsive Disorder: A Mediational Analysis
par: Ipek Suzer Gamli, et autres
Publié: (2025)

Towards Reliable Neural Optimizers: Permutation-Equivariant Neural Approximation in Dynamic Data Driven Applications Systems
par: Li, Meiyi, et autres
Publié: (2025)

When Environments Shift: Safe Planning with Generative Priors and Robust Conformal Prediction
par: Rahaman, Kaizer, et autres
Publié: (2026)

Generalized Bregman Projection Algorithms for Solving Nonlinear Split Feasibility Problems in Infinite-Dimensional Spaces
par: Sababe, Saeed Hashemi, et autres
Publié: (2025)

Scaling Learning based Policy Optimization for Temporal Logic Tasks by Controller Network Dropout
par: Hashemi, Navid, et autres
Publié: (2024)

Hardware-Efficient Neuro-Symbolic Networks with the Exp-Minus-Log Operator
par: Ipek, Eymen
Publié: (2026)

Semantic Sound Similarity with Deep Embeddings for Freesound
par: Recep Oğuz Araz
Publié: (2023)

Real-time High-Resolution Neural Network with Semantic Guidance for Crack Segmentation
par: Li, Yongshang, et autres
Publié: (2023)

Probabilistic Segmentation for Robust Field of View Estimation
par: Hallyburton, R. Spencer, et autres
Publié: (2025)

DEFN: Dual-Encoder Fourier Group Harmonics Network for Three-Dimensional Indistinct-Boundary Object Segmentation
par: Jiang, Xiaohua, et autres
Publié: (2023)

`pandemonium`: High Dimensional Analysis in Linked Spaces
par: McCoy, Gabriel, et autres
Publié: (2026)

Robust Conformal Prediction for STL Runtime Verification under Distribution Shift
par: Zhao, Yiqi, et autres
Publié: (2023)

Energy-Efficient Probabilistic Semantic Communication over Space-Air-Ground Integrated Networks
par: Zhao, Zhouxiang, et autres
Publié: (2024)

Nonconvex Obstacle Avoidance using Efficient Sampling-Based Distance Functions
par: Lutkus, Paul, et autres
Publié: (2025)

Sample-Efficient Expert Query Control in Active Imitation Learning via Conformal Prediction
par: Firouzkouhi, Arad, et autres
Publié: (2025)