( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained.

, , , , , , и . RE, стр. 300-310. IEEE, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Pierre-Loïc Garoche

Pierre-Loïc Méliot

Loïc Fejoz

Loïc Botrel

Loïc Yon

 

Другие публикации лиц с тем же именем

Credible Autocoding of The Ellipsoid Algorithm Solving Second-Order Cone Programs., , и . CDC, стр. 3585-3591. IEEE, (2018)Reachability Set Analysis of Closed-Loop Nonlinear Systems with Neural Network Controllers., и . ACC, стр. 2289-2294. IEEE, (2022)An Efficient Summation Algorithm for the Accuracy, Convergence and Reproducibility of Parallel Numerical Methods., , и . VSTTE, том 13124 из Lecture Notes in Computer Science, стр. 165-181. Springer, (2021)Bridging the Gap Between Requirements and Simulink Model Analysis., , , , , и . REFSQ Workshops, том 2584 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)Guaranteed Simulation of Dynamical Systems with Integral Constraints and Application on Delayed Dynamical Systems., , , и . CyPhy/WESE, том 11971 из Lecture Notes in Computer Science, стр. 89-107. Springer, (2019)Set-based value operators for non-stationary Markovian environments., , , и . CoRR, (2022)Parallel Accurate and Reproducible Summation., , и . SAI (1), том 283 из Lecture Notes in Networks and Systems, стр. 363-382. Springer, (2021)Successive Convexification for Optimal Control with Signal Temporal Logic Specifications., , , и . HSCC, стр. 9:1-9:7. ACM, (2022)A Continuation Method for computation of H∞ gains of Linear Continuous-Time Periodic Systems., , и . CDC, стр. 4653-4658. IEEE, (2020)The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained., , , , , , и . RE, стр. 300-310. IEEE, (2020)