Wietze Koops
Orcid: 0000-0001-9945-1992
According to our database1,
Wietze Koops
authored at least 4 papers
between 2023 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Learning-Based Verification of Stochastic Dynamical Systems with Neural Network Policies.
CoRR, 2024
Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024
2023
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023