Luko van der Maas

Orcid: 0009-0007-3915-6191

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book  In proceedings  Article  PhD thesis  Dataset  Other 

Links

On csauthors.net:

Bibliography

2026
Learning Robust Markov Models for Safe Runtime Monitoring.
CoRR, February, 2026

2025
Inductive Predicates via Least Fixpoints in Higher-Order Separation Logic.
Proceedings of the 16th International Conference on Interactive Theorem Proving, 2025

Learning Verified Monitors for Hidden Markov Models.
Proceedings of the Automated Technology for Verification and Analysis, 2025


  Loading...