Picture for Eric Goubault

Eric Goubault

LIX, Ecole Polytechnique, CNRS, Université Paris-Saclay

Simplicial Models for the Epistemic Logic of Faulty Agents

Add code
Nov 14, 2023
Viaarxiv icon

Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane

Add code
Sep 07, 2023
Viaarxiv icon

Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs

Add code
Jan 14, 2022
Figure 1 for Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs
Figure 2 for Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs
Figure 3 for Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs
Figure 4 for Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs
Viaarxiv icon

Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling

Add code
Sep 14, 2021
Figure 1 for Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling
Figure 2 for Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling
Figure 3 for Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling
Figure 4 for Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling
Viaarxiv icon

A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die

Add code
Aug 23, 2021
Figure 1 for A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die
Figure 2 for A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die
Figure 3 for A Simplicial Model for $KB4_n$: Epistemic Logic with Agents that May Die
Viaarxiv icon

Static analysis of ReLU neural networks with tropical polyhedra

Add code
Aug 23, 2021
Figure 1 for Static analysis of ReLU neural networks with tropical polyhedra
Figure 2 for Static analysis of ReLU neural networks with tropical polyhedra
Figure 3 for Static analysis of ReLU neural networks with tropical polyhedra
Figure 4 for Static analysis of ReLU neural networks with tropical polyhedra
Viaarxiv icon

Neural Network Based Model Predictive Control for an Autonomous Vehicle

Add code
Jul 30, 2021
Figure 1 for Neural Network Based Model Predictive Control for an Autonomous Vehicle
Figure 2 for Neural Network Based Model Predictive Control for an Autonomous Vehicle
Figure 3 for Neural Network Based Model Predictive Control for an Autonomous Vehicle
Figure 4 for Neural Network Based Model Predictive Control for an Autonomous Vehicle
Viaarxiv icon

Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts

Add code
Jul 27, 2021
Figure 1 for Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts
Figure 2 for Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts
Figure 3 for Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts
Figure 4 for Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts
Viaarxiv icon

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System

Add code
Sep 08, 2017
Figure 1 for Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Figure 2 for Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Figure 3 for Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Figure 4 for Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System
Viaarxiv icon