E-LIB Suche - Ergebnisse für: Delmas, Rémi

1

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/..

2

Urban air mobility: from complex tactical conflict resoluti..:

Pelegrín, Mercedes ; D'Ambrosio, Claudia ; Delmas, Rémi.
Optimization Methods and Software. 38 (2023) 6 - p. 1311-1343 , 2023

Link: https://doi.org/10.1080/..

3

Passenger-centric Urban Air Mobility: Fairness trade-offs a..:

Bennaceur, Mehdi ; Delmas, Rémi ; Hamadi, Youssef
Transportation Research Part C: Emerging Technologies. 136 (2022) - p. 103519 , 2022

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

4

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..

5

An Evaluation of Monte-Carlo Tree Search for Property Falsi..:

, In: Numerical Software Verification; Lecture Notes in Computer Science,

Delmas, Rémi ; Loquen, Thomas ; Boada-Bauxell, Josep. - p. 45-59 , 2019

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

6

Generating property-directed potential invariants by quanti..:

Champion, Adrien ; Delmas, Rémi ; Dierkes, Michael
Science of Computer Programming. 103 (2015) - p. 71-87 , 2015

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

7

Formal Methods for Exchange Policy Specification:

, In: Notes on Numerical Fluid Mechanics and Multidisciplinary Design; Active Flow and Combustion Control 2018,

Delmas, Rémi ; Polacsek, Thomas - p. 288-303 , 2013

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

8

SMT-AI: an Abstract Interpreter as Oracle for k-induction:

Roux, Pierre ; Delmas, Rémi ; Garoche, Pierre-Loïc
Electronic Notes in Theoretical Computer Science. 267 (2010) 2 - p. 55-68 , 2010

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

9

Algorithm-based fault tolerance applied to high performance..:

Bosilca, George ; Delmas, Rémi ; Dongarra, Jack.
Journal of Parallel and Distributed Computing. 69 (2009) 4 - p. 410-416 , 2009

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

10

Reinforcement learning with formal performance metrics for ..:

Bernini, Nicola ; Bessa, Mikhail ; Delmas, Rémi...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.engappai.2023.107090. , 2023

Link: https://polytechnique.ha..

11

Reinforcement learning with formal performance metrics for ..:

Bernini, Nicola ; Bessa, Mikhail ; Delmas, Rémi...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.engappai.2023.107090. , 2023

Link: https://polytechnique.ha..

12

Reinforcement learning with formal performance metrics for ..:

Bernini, Nicola ; Bessa, Mikhail ; Delmas, Rémi...
info:eu-repo/semantics/altIdentifier/doi/10.1016/j.engappai.2023.107090. , 2023

Link: https://polytechnique.ha..

13

Urban Air Mobility: From Complex Tactical Conflict Resoluti..:

Pelegrín, Mercedes ; d'Ambrosio, Claudia ; Delmas, Rémi.
info:eu-repo/semantics/altIdentifier/doi/10.1080/10556788.2023.2241148. , 2023

Link: https://hal.science/hal-..

14

Urban Air Mobility: From Complex Tactical Conflict Resoluti..:

Pelegrín, Mercedes ; d'Ambrosio, Claudia ; Delmas, Rémi.
info:eu-repo/semantics/altIdentifier/doi/10.1080/10556788.2023.2241148. , 2023

Link: https://hal.science/hal-..

15

Stability of legal situations within actions based on legal..:

Delmas, Remi
NNT: 2022LIMO0117. , 2022

Link: https://theses.hal.scien..