Maris F. L. Galesloot
According to our database1,
Maris F. L. Galesloot
authored at least 4 papers
between 2024 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
2024
Artificial Intelligence and Formal Methods Join Forces for Reliable Autonomy (Dagstuhl Seminar 24361).
Dagstuhl Reports, 2024
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024