38 citations · 56 across the 20 of their papers we have counts for
7 papers · 1 filter
Automatic Cause Determination in Road Scene Understanding Using Qualitative Reasoning and Four-Valued Logic
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar +1
Road scene understanding in automated driving (AD) aims to build a comprehensive analysis of video sequences taken on the road by embedded or fixed cameras (e.g., mounted on vertic…
Learning Symbolic Constraint Representations from Examples: A Neuro-Symbolic Approach
Nassim Belmecheri, Arnaud Gotlieb, Nadjib Lazaar +1
Learning user-defined concepts as constraint networks has been extensively studied in the constraint acquisition (CA) literature. However, existing approaches typically rely on int…
Probabilistic Model Checking of Autoregressive Neural Sequence Models
Helge Spieker, Dennis Gross, Arnaud Gotlieb
Test-set accuracy is silent on two issues that matter when deploying autoregressive neural sequence models: how much probability mass the system under test (SUT) places on constrai…
Gimitest: A Comprehensive Tool for Testing Reinforcement Learning Policies
Dennis Gross, Quentin Mazouni, Helge Spieker +1
Reinforcement learning (RL) policies can be unsafe and vulnerable to attacks. Ensuring their reliability is often a pain point as existing automated testing methods target only sel…
Metamorphic Testing with the Rashomon Set: Explanation Faithfulness in Machine Learning
Helge Spieker, Jørn Eirik Betten, Arnaud Gotlieb
Multiple machine learning models can achieve near-equivalent predictive performance on the same task, yet provide divergent feature-based explanations. This is called the Rashomon…
Semi-supervised CAPP Transformer Learning via Pseudo-labeling
Dennis Gross, Helge Spieker, Arnaud Gotlieb +3
High-level Computer-Aided Process Planning (CAPP) generates manufacturing process plans from part specifications. It suffers from limited dataset availability in industry, reducing…
Context-Aware Autoencoders for Anomaly Detection in Maritime Surveillance
Divya Acharya, Pierre Bernab'e, Antoine Chevrot +3
The detection of anomalies is crucial to ensuring the safety and security of maritime vessel traffic surveillance. Although autoencoders are popular for anomaly detection, their ef…