🎉🎉🎉 Our paper has been accepted by ANTS 2026!!!

Last updated on Jan 30, 2026 1 min read Blog
Image credit: Unsplash

Our 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.

Blog
Tianxiong Zhang
Tianxiong Zhang

My research interests include Digital Twin, Computer Vision, Urban Air Mobility (UAM).