Luko van der Maas

According to our database, Luko van der Maas authored at least 3 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2026

Learning Robust Markov Models for Safe Runtime Monitoring.

Antonina Skurka, Luko van der Maas, Sebastian Junges, Hazem Torfah

CoRR, February, 2026

2025

Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic.

Robbert Krebbers, Luko van der Maas, Enrico Tassi

Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

Learning Verified Monitors for Hidden Markov Models.

Luko van der Maas, Sebastian Junges

Proceedings of the Automated Technology for Verification and Analysis, 2025