Luko van der Maas
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2025–2026
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Fast Computation of Conditional Probabilities in MDPs and Markov Chain Families. | Milan Ceska, Sebastian Junges, Luko van der Maas, Filip Mack, Tim Quatmann |
| 2025 | ATVA | Learning Verified Monitors for Hidden Markov Models. | Luko van der Maas, Sebastian Junges |
| 2025 | ITP | Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic. | Robbert Krebbers, Luko van der Maas, Enrico Tassi |