Acceleration of the abstract fixpoint computation in numerical program analysis
Olivier Bouissou
,
Yassamine Seladji
,
Alexandre Chapoutot
Journal articles
hal-00766769v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods
Olivier Bouissou
,
Alexandre Chapoutot
,
Samuel Mimram
2013
Reports
hal-00831438v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Exploration of reinforcement learning algorithms for autonomous vehicle visual perception and control
Florence Carton
Theses
tel-03273748v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Set-membership computation of integrals with uncertain endpoints
Olivier Mullier
,
Julien Alexandre Dit Sandretto
NUMTA 2019 , Jun 2019, Le Castella village, Italy
Conference papers
hal-02372387v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Domain invariant Q-learning for model-free robust continuous control under visual distractions
Tom Dupuis
,
Jaonary Rabarisoa
,
Quoc-Cuong Pham
,
David Filliat
NeurIPS 2022 - Deep Reinforcement Learning Workshop , Dec 2022, Virtual, United States
Conference papers
hal-04135292v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Bioglider: an integrated glider solution for enhancing environmental knowledge
Yves Ponçon
,
Laurent Mortier
,
Marc Picheral
,
Peer Fitzek
,
Dan Hayes
,
et al.
OCEANS 2023 Gulf Coast conference , IEEE Oceanic engineering society, Sep 2023, Biloxi, MS, United States
Conference papers
hal-04177859v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Set-based Simulation for Design and Verification of Simulink Models
Olivier Bouissou
,
Samuel Mimram
,
Baptiste Strazzulla
,
Alexandre Chapoutot
Embedded Real Time Software and Systems (ERTS2) , Feb 2014, Toulouse, France
Conference papers
hal-01290286v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Double and Kubi RObots in Education: Can Telepresence Contribute to Student Engagement and Social Inclusion for Occasional Distance Learning?
Afyouni Alia
,
Ocnarescu Ioana
,
Orefice Pierre-Henri
,
Hei Xiaoxuan
,
Anastassova Margarita
,
et al.
15th annual International Conference on Education and New Learning Technologies (EduLearn23) , Jul 2023, Palma de Mallorca, Spain
Conference papers
hal-04133902v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
A ROS-based kinematic calibration tool for serial robots: the unburdeing of a crucial task
Caroline Pascal
,
Olivier Doaré
,
Alexandre Chapoutot
2023
Preprints, Working Papers, ...
hal-04165802v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Co-manipulation with Multiple Probabilistic Virtual Guides
Gennaro Raiola
,
Xavier Lamy
,
Freek Stulp
IROS 2015 - International Conference on Intelligent Robots and Systems , Sep 2015, Hamburg, Germany. pp.7 - 13
⟨10.1109/IROS.2015.7353107⟩
Conference papers
hal-01170974v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Parallel Guiding Virtual Fixtures: Control and Stability
Gennaro Raiola
,
Pedro Rodriguez-Ayerbe
,
Xavier Lamy
,
Sami Tliba
,
Freek Stulp
Conference papers
hal-01250101v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
HySon: Set-based simulation of hybrid systems
Olivier Bouissou
,
Alexandre Chapoutot
,
Samuel Mimram
Conference papers
hal-00819377v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Task and motion planning methods: applications and limitations
Kai Zhang
,
Eric Lucet
,
Julien Alexandre Dit Sandretto
,
Selma Kchir
,
David Filliat
ICINCO 2022 - 19th International Conference on Informatics in Control, Automation and Robotics , Jul 2022, Lisbonne, Portugal. pp.476-483,
⟨10.5220/0011314000003271⟩
Conference papers
hal-03744923v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Using Semantic Information to Improve Generalization of Reinforcement Learning Policies for Autonomous Driving
Florence Carton
,
David Filliat
,
Jaonary Rabarisoa
,
Quoc Cuong Pham
IEEE/CVF Winter Conference on Applications of Computer Vision (WACV) Workshops , Jan 2021, Hawaii (on line), United States
Conference papers
hal-03110285v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Analysis of preemption costs for the stack cache
Amine Naji
,
Sahar Abbaspour
,
Florian Brandner
,
Mathieu Jan
Journal articles
cea-01773654v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Experimental Validation of a Multirobot Distributed Receding Horizon Motion Planning Approach
José M Mendes Filho
,
Eric Lucet
,
David Filliat
ICARCV 2018 - 15th International Conference on Control, Automation, Robotics and Vision , Nov 2018, Singapour, Singapore
Conference papers
hal-01935322v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Co-manipulation with a Library of Virtual Guiding Fixtures
Gennaro Raiola
,
Susana Sanchez Restrepo
,
Pauline Chevalier
,
Pedro Rodriguez-Ayerbe
,
Xavier Lamy
,
et al.
Journal articles
hal-02158827v3
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Online Distributed Motion Planning for Mobile Multi-robot Systems
José Mendes Filho
Theses
tel-02503778v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
An operational semantics for Simulink's simulation engine
Olivier Bouissou
,
Alexandre Chapoutot
13th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, Tools and Theory for Embedded Systems , Jun 2012, Pekin, China. pp.129-138,
⟨10.1145/2248418.2248437⟩
Conference papers
hal-00819373v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Efficient Context Switching for the Stack Cache
Sahar Abbaspour
,
Florian Brandner
,
Amine Naji
,
Mathieu Jan
Proceedings of the 23rd International Conference on Real Time and Networks Systems , Julien Forget (Université de Lille, France), Nov 2015, Lille, France. pp.10,
⟨10.1145/2834848.2834861⟩
Conference papers
hal-01246348v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Iterative Virtual Guides Programming for Human-Robot Comanipulation
Susana Sanchez Restrepo
,
Gennaro Raiola
,
Pauline Chevalier
,
Xavier Lamy
,
Daniel Sidobre
2017 IEEE International Conference on Advanced Intelligent Mechatronics (AIM) , Jul 2017, Munich, Germany. 9p.,
⟨10.1109/AIM.2017.8014021⟩
Conference papers
hal-01763775v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Construction of parametric barrier functions for dynamical systems using interval analysis
Adel Djaballah
,
Alexandre Chapoutot
,
Michel Kieffer
,
Olivier Bouissou
Journal articles
hal-01164307v2
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Evaluating Robustness over High Level Driving Instruction for Autonomous Driving
Florence Carton
,
David Filliat
,
Jaonary Rabarisoa
,
Quoc Cuong Pham
IV 2021 - 32nd IEEE Intelligent Vehicles Symposium , Jul 2021, Nagoya, Japan
Conference papers
hal-03377799v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Tactile Modality during Socio-Emotional Interactions : from Humans to Robots
Pierre-Henri Orefice
Theses
tel-01937862v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
UVP6: a new low power, low cost and deep ocean rated imaging sensor for automatic quantification of particles and plankton from autonomous platforms
Marc Picheral
,
Emna Abidi
,
François Berry
,
Jerome Coindat
,
Denis Brousseau
,
et al.
Ocean Sciences Meeting , 2020, San Diego, United States
Conference papers
hal-04026430v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Real-Time Distributed Receding Horizon Motion Planning and Control for Mobile Multi-Robot Dynamic Systems
José M Mendes Filho
,
Eric Lucet
,
David Filliat
Conference papers
hal-01530977v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Design of an emotion elicitation tool using VR for human-avatar interaction studies
P.-H. Orefice
,
M. Ammi
,
M. Hafez
,
A. Tapus
Conference papers
cea-01813717v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
VIBR: Learning View-Invariant Value Functions For Robust Visual Control
Tom Dupuis
,
Jaonary Rabarisoa
,
Quoc-Cuong Pham
,
David Filliat
CoLLAs 2023 - Conference on Lifelong Learning Agents , Aug 2023, Montreal, Canada
Conference papers
hal-04202697v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods
Olivier Bouissou
,
Alexandre Chapoutot
,
Adel Djoudi
Book sections
istex
hal-00819730v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More
Co-manipulation with a library of virtual guides
Gennaro Raiola
Theses
tel-01573500v1
Actions
Share
Gmail
Facebook
Twitter
LinkedIn
More