Post navigation

MISSION at Space Tech Expo 2025
November 26, 2025
From November 18 to 20, 2025, the MISSION Project was represented at the Space Tech Expo Europe in Bremen, Germany—Europe’s largest B2B space event. Our project partners D3TN and Osmium each hosted a booth, showcasing their …
Paper at Dafny 2026
November 14, 2025
The paper “Diagnostics in Probabilistic Program Verification” by Philipp Schröer, Darion Haase, and Joost-Pieter Katoen has been accepted at the Dafny 2026 workshop. The paper focuses on effective user diagnostics …
Paper in FMSD Journal
November 13, 2025
The paper “Search and Explore: Symbiotic Policy Synthesis in POMDPs” by Roman Andruishchenko (Brno University of Technology), Alexander Bork, Milan Češka (Brno University of Technology), Sebastian Junges (Radboud University), Joost-Pieter …