🎉🎉🎉 Our paper has been accepted by ANTS 2026!!!
Image credit: UnsplashOur paper Bigraphical Model Checking for Drone Swarm Coordination in Vertiports, authored by Dominik Grzelak, Tianxiong Zhang and Uwe Aßmann, has been accepted by the 15th International Conference on Swarm Intelligence (ANTS’ 2026) in Darmstadt, Germany.
PhD Researcher
Research interests — Digital Twins, Computer Vision, Advanced Air Mobility.