E-LIB Suche - Ergebnisse für: Goubault, Eric

1

Estimating the coverage measure and the area explored by a ..:

Costa Vianna, Maria ; Goubault, Eric ; Jaulin, Luc.
International Journal of Approximate Reasoning. 169 (2024) - p. 109162 , 2024

Link: https://doi.org/10.1016/..

2

Reinforcement learning with formal performance metrics for ..:

Bernini, Nicola ; Bessa, Mikhail ; Delmas, Rémi...
Engineering Applications of Artificial Intelligence. 127 (2024) - p. 107090 , 2024

Link: https://doi.org/10.1016/..

3

Inner and outer approximate quantifier elimination for gene..:

, In: Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control,

Goubault, Eric ; Putot, Sylvie - p. 1-11 , 2024

Link: https://dl.acm.org/doi/1..

4

Semi-Simplicial Set Models for Distributed Knowledge:

, In: 2023 38th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS),

Goubault, Eric ; Kniazev, Roman ; Ledent, Jeremy. - p. 1-13 , 2023

Link: https://doi.org/10.1109/..

5

On-the-Fly Control of Unknown Systems: From Side Informatio..:

Djeumou, Franck ; Vinod, Abraham P. ; Goubault, Eric..
IEEE Transactions on Automatic Control. 68 (2023) 8 - p. 4857-4872 , 2023

Link: https://doi.org/10.1109/..

6

A semi-abelian approach to directed homology:

Goubault, Eric
Journal of Applied and Computational Topology. 8 (2023) 2 - p. 271-299 , 2023

Link: https://doi.org/10.1007/..

7

RINO: Robust INner and Outer Approximated Reachability of N..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,

Goubault, Eric ; Putot, Sylvie - p. 511-523 , 2022

Link: https://doi.org/10.1007/..

8

Knowledge and Simplicial Complexes:

, In: Philosophical Studies Series; Philosophy of Computing,

Ditmarsch, Hans van ; Goubault, Éric ; Ledent, Jérémy. - p. 1-50 , 2022

Link: https://doi.org/10.1007/..

9

Estimating the Coverage Measure and the Area Explored by a ..:

, In: OCEANS 2022, Hampton Roads,

Vianna, Maria Luiza Costa ; Goubault, Eric ; Jaulin, Luc. - p. 1-6 , 2022

Link: https://doi.org/10.1109/..

10

A Real-Time NMPC Controller for Autonomous Vehicle Racing:

, In: 2022 6th International Conference on Automation, Control and Robots (ICACR),

Li, Nan ; Goubault, Eric ; Pautet, Laurent. - p. 148-155 , 2022

Link: https://doi.org/10.1109/..

11

Abstract Strategies and Coherence:

, In: Relational and Algebraic Methods in Computer Science; Lecture Notes in Computer Science,

Calk, Cameron ; Goubault, Eric ; Malbos, Philippe - p. 108-125 , 2021

Link: https://doi.org/10.1007/..

12

A few lessons learned in reinforcement learning for quadcop..:

, In: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control,

Bernini, Nicola ; Bessa, Mikhail ; Delmas, Rémi... - p. 1-11 , 2021

Link: https://dl.acm.org/doi/1..

13

Static Analysis of ReLU Neural Networks with Tropical Polyh..:

, In: Static Analysis; Lecture Notes in Computer Science,

Goubault, Eric ; Palumby, Sébastien ; Putot, Sylvie.. - p. 166-190 , 2021

Link: https://doi.org/10.1007/..

14

A simplicial complex model for dynamic epistemic logic to s..:

Goubault, Éric ; Ledent, Jérémy ; Rajsbaum, Sergio
Information and Computation. 278 (2021) - p. 104597 , 2021

Link: https://doi.org/10.1016/..

15

A dynamic epistemic logic analysis of equality negation and..:

van Ditmarsch, Hans ; Goubault, Éric ; Lazić, Marijana..
Journal of Logical and Algebraic Methods in Programming. 121 (2021) - p. 100662 , 2021

Link: https://doi.org/10.1016/..