( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies.

, , , , , и . CoRR, (2024)

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.

Christian Schilling

Christian Schilling

Christian Schilling

Christian Schilling

Christian Schilling

 

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

Membership-Based Synthesis of Linear Hybrid Automata., , , и . CAV (1), том 11561 из Lecture Notes in Computer Science, стр. 297-314. Springer, (2019)Into the unknown: active monitoring of neural networks (extended version)., , , и . Int. J. Softw. Tools Technol. Transf., 25 (4): 575-592 (августа 2023)Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes., , , и . CoRR, (2022)Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies., , , , , и . CoRR, (2024)ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , , , и 3 other автор(ы). ARCH, том 74 из EPiC Series in Computing, стр. 16-48. EasyChair, (2020)ARCH-COMP21 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics., , , , , , , и . ARCH@ADHS, том 80 из EPiC Series in Computing, стр. 1-31. EasyChair, (2021)Open- and Closed-Loop Neural Network Verification Using Polynomial Zonotopes., , , и . NFM, том 13903 из Lecture Notes in Computer Science, стр. 16-36. Springer, (2023)ARCH-COMP19 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics., , , , , , , , , и . ARCH@CPSIoTWeek, том 61 из EPiC Series in Computing, стр. 41-61. EasyChair, (2019)Reachability of Weakly Nonlinear Systems Using Carleman Linearization., и . RP, том 13035 из Lecture Notes in Computer Science, стр. 85-99. Springer, (2021)JuliaReach: a toolbox for set-based reachability., , , , и . HSCC, стр. 39-44. ACM, (2019)