:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Hashemi, Vahid, Křetínský, Jan, Rieder, Sabine, Schön, Torsten, Vorhoff, Jan
Format:	Preprint
Published:	2024
Subjects:	Machine Learning
Online Access:	https://arxiv.org/abs/2410.06051
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Monitizer: Automating Design and Evaluation of Neural Network Monitors
by: Azeem, Muqsit, et al.
Published: (2024)

Vision-Based Runtime Monitoring under Varying Specifications using Semantic Latent Representations
by: Hoxha, Bardh, et al.
Published: (2026)

Explainable Representation of Finite-Memory Policies for POMDPs using Decision Trees
by: Azeem, Muqsit, et al.
Published: (2024)

Structure-Preserving Gaussian Processes Via Discrete Euler-Lagrange Equations
by: Ewering, Jan-Hendrik, et al.
Published: (2026)

Learning Explainable and Better Performing Representations of POMDP Strategies
by: Bork, Alexander, et al.
Published: (2024)

Diagnostic Runtime Monitoring with Martingales
by: Hindy, Ali, et al.
Published: (2024)

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

Model-Based Runtime Monitoring with Interactive Imitation Learning
by: Liu, Huihan, et al.
Published: (2023)

Learning Dynamics from Input-Output Data with Hamiltonian Gaussian Processes
by: Ewering, Jan-Hendrik, et al.
Published: (2025)

Semantically Labelled Automata for Multi-Task Reinforcement Learning with LTL Instructions
by: Abate, Alessandro, et al.
Published: (2026)

Runtime Monitoring of Perception-Based Autonomous Systems via Embedding Temporal Logic
by: Kapoor, Parv, et al.
Published: (2026)

Learning Contextual Runtime Monitors for Safe AI-Based Autonomy
by: Luque-Cerpa, Alejandro, et al.
Published: (2026)

Gradient-Based Join Ordering
by: Schwabe, Tim, et al.
Published: (2025)

Advancing Robustness in Deep Reinforcement Learning with an Ensemble Defense Approach
by: Mohan, Adithya, et al.
Published: (2025)

Unifying Runtime Monitoring Approaches for Safety-Critical Machine Learning: Application to Vision-Based Landing
by: Dario, Mathieu, et al.
Published: (2026)

Backdoor Mitigation in Deep Neural Networks via Strategic Retraining
by: Dhonthi, Akshay, et al.
Published: (2022)

Neural Control and Certificate Repair via Runtime Monitoring
by: Yu, Emily, et al.
Published: (2024)

Offline Stochastic Optimization of Black-Box Objective Functions
by: Dong, Juncheng, et al.
Published: (2024)

Runtime Monitoring and Fault Detection for Neural Network-Controlled Systems
by: Lan, Jianglin, et al.
Published: (2024)

Provably Explaining Neural Additive Models
by: Bassan, Shahaf, et al.
Published: (2026)

Expressive Reward Synthesis with the Runtime Monitoring Language
by: Donnelly, Daniel, et al.
Published: (2025)

1-2-3-Go! Policy Synthesis for Parameterized Markov Decision Processes via Decision-Tree Learning and Generalization
by: Azeem, Muqsit, et al.
Published: (2024)

Paint Outside the Box: Synthesizing and Selecting Training Data for Visual Grounding
by: Du, Zilin, et al.
Published: (2024)

Forecasting Outside the Box: Application-Driven Optimal Pointwise Forecasts for Stochastic Optimization
by: Homem-de-Mello, Tito, et al.
Published: (2024)

Gray-Box Poisoning of Continuous Malware Ingestion Pipelines
by: Dolejš, Jan, et al.
Published: (2026)

Thinking Outside the (Gray) Box: A Context-Based Score for Assessing Value and Originality in Neural Text Generation
by: Franceschelli, Giorgio, et al.
Published: (2025)

AGNES: Abstraction-guided Framework for Deep Neural Networks Security
by: Dhonthi, Akshay, et al.
Published: (2023)

Deep Gaussian Process-based Cost-Aware Batch Bayesian Optimization for Complex Materials Design Campaigns
by: Alvi, Sk Md Ahnaf Akif, et al.
Published: (2025)

Collaborative Prediction: To Join or To Disjoin Datasets
by: Kim, Kyung Rok, et al.
Published: (2025)

Stream-Based Monitoring of Algorithmic Fairness
by: Baumeister, Jan, et al.
Published: (2025)

Kernel-Based Learning of Safety Barriers
by: Schön, Oliver, et al.
Published: (2026)

Learning Force Distribution Estimation for the GelSight Mini Optical Tactile Sensor Based on Finite Element Analysis
by: Helmut, Erik, et al.
Published: (2024)

KRAFT: A Knowledge Graph-Based Framework for Automated Map Conflation
by: Hashemi, Farnoosh, et al.
Published: (2025)

Runtime Monitoring and Enforcement of Conditional Fairness in Generative AIs
by: Cheng, Chih-Hong, et al.
Published: (2024)

Sketched Sum-Product Networks for Joins
by: Tsan, Brian, et al.
Published: (2025)

Implementing Semantic Join Operators Efficiently
by: Trummer, Immanuel
Published: (2025)

A Rigorous, Tractable Measure of Model Complexity
by: Allerbo, Oskar, et al.
Published: (2026)

Is Supervised Learning Really That Different from Unsupervised?
by: Allerbo, Oskar, et al.
Published: (2025)

Themisto: Jupyter-Based Runtime Benchmark
by: Grotov, Konstantin, et al.
Published: (2025)

A Dual-Stream Physics-Augmented Unsupervised Architecture for Runtime Embedded Vehicle Health Monitoring
by: Spotorno, Enzo Nicolas, et al.
Published: (2026)