scispace - formally typeset
S

Sébastien Jodogne

Researcher at University of Liège

Publications -  44
Citations -  823

Sébastien Jodogne is an academic researcher from University of Liège. The author has contributed to research in topics: Reinforcement learning & Computer science. The author has an hindex of 15, co-authored 38 publications receiving 682 citations.

Papers
More filters
Journal ArticleDOI

An effective decision procedure for linear arithmetic over the integers and reals

TL;DR: Finite-automata-based algorithms for handling linear arithmetic with both real and integer variables are considered to show, using topological arguments, that only a restricted class of automata on infinite words are necessary for handling real andinteger linear arithmetic.
Book ChapterDOI

On the Use of Weak Automata for Deciding Linear Arithmetic with Integer and Real Variables

TL;DR: Finite-automata based algorithms for handling linear arithmetic with both real and integer variables are considered, to show that only a restricted class of automata on infinite words are necessary for handling real andinteger linear arithmetic.
Journal ArticleDOI

Closed-loop learning of visual control policies

TL;DR: A general, flexible framework for learning mappings from images to actions by interacting with the environment and shows how high-level visual features can be generated when the power of local descriptors is insufficient for completely disambiguating the aliased states.