Wietze Koops

1 – 3 of 3

show: 10
|
sort: year (new to old)

News feed Embed this list Save this search Mark all Export

Cancel

Embed this list

copy and paste the html snippet below into your own page:

<iframe src="https://lup.lub.lu.se/search/person/8319132b-c53e-4426-a829-972145ec610a?embed=1&amp;hide_pagination=1&amp;hide_info=1&amp;hide_options=1"
  width="100%"
  height="400"
  allowtransparency="true"
  frameborder="0">
</iframe>

2025
Mark Policy Verification in Stochastic Dynamical Systems Using Logarithmic Neural Certificates
Badings, Thom ; Koops, Wietze ^LU ; Junges, Sebastian and Jansen, Nils (2025) 37th International Conference on Computer Aided Verification, CAV 2025 In Lecture Notes in Computer Science 15932 LNCS. p.349-375
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Practically feasible proof logging for pseudo-Boolean optimization
Koops, Wietze ^LU ; Le Berre, Daniel ; Myreen, Magnus O. ; Nordström, Jakob ^LU ; Oertel, Andy ^LU ; Tan, Yong Kiam and Vinyals, Marc (2025) In Leibniz International Proceedings in Informatics (LIPIcs) 340. p.1-27
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
Mark Tighter Value-Function Approximations for POMDPs
Krale, Merlijn ; Koops, Wietze ^LU ; Junges, Sebastian ; Simão, Thiago D. and Jansen, Nils (2025) 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025 In Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS p.1200-1208
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding

Publications

Open access (%)

Subjects

Frequent LU co-authors

Oertel, Andy (1)
Nordström, Jakob (1)

Keywords

your query:: Remove author: Koops, Wietze (LU)