Zobrazeno 1 - 4
of 4
pro vyhledávání: '"Heck, Linus"'
Latent neural stochastic differential equations (SDEs) have recently emerged as a promising approach for learning generative models from stochastic time series data. However, they systematically underestimate the noise level inherent in such data, li
Externí odkaz:
http://arxiv.org/abs/2412.17499
Randomization is a powerful technique to create robust controllers, in particular in partially observable settings. The degrees of randomization have a significant impact on the system performance, yet they are intricate to get right. The use of synt
Externí odkaz:
http://arxiv.org/abs/2111.04407
Autor:
Heck, Linus, Spel, Jip, Junges, Sebastian, Moerman, Joshua, Katoen, Joost-Pieter, Finkbeiner, Bernd, Wies, Thomas
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030945824
Heck, L, Spel, J, Junges, S, Moerman, J & Katoen, J-P 2022, Gradient-Descent for Randomized Controllers Under Partial Observability . in B Finkbeiner & T Wies (eds), Verification, model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings . 1 edn, Springer, Lecture Notes in Computer Science, vol. 13182, Theoretical Computer Science and General Issues (LNCS subseries), vol. 13182, pp. 127-150, The 23rd international conference Verification, Model Checking, and Abstract Interpretation, Philadelphia, Pennsylvania, United States, 16/01/22 . https://doi.org/10.1007/978-3-030-94583-1_7
Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings, 127-150
ISSUE=1;STARTPAGE=127;ENDPAGE=150;TITLE=Verification, model Checking, and Abstract Interpretation
Heck, L, Spel, J, Junges, S, Moerman, J & Katoen, J-P 2022, Gradient-Descent for Randomized Controllers Under Partial Observability . in B Finkbeiner & T Wies (eds), Verification, model Checking, and Abstract Interpretation : 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings . 1 edn, Springer, Lecture Notes in Computer Science, vol. 13182, Theoretical Computer Science and General Issues (LNCS subseries), vol. 13182, pp. 127-150, The 23rd international conference Verification, Model Checking, and Abstract Interpretation, Philadelphia, Pennsylvania, United States, 16/01/22 . https://doi.org/10.1007/978-3-030-94583-1_7
Verification, model Checking, and Abstract Interpretation: 23rd International Conference, VMCAI 2022 Philadelphia, PA, USA, January 16–18, 2022 Proceedings, 127-150
ISSUE=1;STARTPAGE=127;ENDPAGE=150;TITLE=Verification, model Checking, and Abstract Interpretation
Randomization is a powerful technique to create robust controllers, in particular in partially observable settings. The degrees of randomization have a significant impact on the system performance, yet they are intricate to get right. The use of synt
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::3e9ba393751c5e3519d64ceaad575f69
https://doi.org/10.1007/978-3-030-94583-1_7
https://doi.org/10.1007/978-3-030-94583-1_7
Autor:
Heck, Linus
Publikováno v:
Aachen 31 Seiten (2020). doi:10.18154/RWTH-2020-10391 = Bachelorarbeit, RWTH Aachen University, 2020
Bachelorarbeit, RWTH Aachen University, 2020; Aachen 31 Seiten (2020). = Bachelorarbeit, RWTH Aachen University, 2020
Published by Aachen
Published by Aachen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::8062442601581d369b2a6769fb74c56d