Search Results for author: Goran Frehse

Found 7 papers, 0 papers with code

CLIP-QDA: An Explainable Concept Bottleneck Model

no code implementations30 Nov 2023 Rémi Kazmierczak, Eloïse Berthier, Goran Frehse, Gianni Franchi

In this paper, we introduce an explainable algorithm designed from a multi-modal foundation model, that performs fast and explainable image classification.

Image Classification

On Double Descent in Reinforcement Learning with LSTD and Random Features

no code implementations9 Oct 2023 David Brellmann, Eloïse Berthier, David Filliat, Goran Frehse

We identify the ratio between the number of parameters and the number of visited states as a crucial factor and define over-parameterization as the regime when it is larger than one.

reinforcement-learning Reinforcement Learning (RL)

Data-driven Reachability using Christoffel Functions and Conformal Prediction

no code implementations16 Sep 2023 Abdelmouaiz Tebjou, Goran Frehse, Faïcel Chamroukhi

In this paper, we improve upon these results by notably improving the sample efficiency and relaxing some of the assumptions by exploiting statistical guarantees from conformal prediction with training and calibration sets.

Conformal Prediction

Reachability analysis of linear hybrid systems via block decomposition

no code implementations7 May 2019 Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

Reachability analysis aims at identifying states reachable by a system within a given time horizon.

Systems and Control Dynamical Systems Optimization and Control

JuliaReach: a Toolbox for Set-Based Reachability

no code implementations30 Jan 2019 Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling

We present JuliaReach, a toolbox for set-based reachability analysis of dynamical systems.

Systems and Control Dynamical Systems

Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices

no code implementations29 Jan 2018 Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Andreas Podelski, Christian Schilling, Frédéric Viry

Approximating the set of reachable states of a dynamical system is an algorithmic yet mathematically rigorous way to reason about its safety.

Systems and Control Dynamical Systems

Cannot find the paper you are looking for? You can Submit a new open access paper.