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

Last updated on Feb 27, 2026 1 min read Blog
Image credit: Unsplash

Our paper Towards a Bigraph Based Digital Twin Framework for Multi-UAS Coordination in IAM, authored by Tianxiong Zhang, has been accepted by The 27th International Symposium on Formal Methods (FM 2026) Doctoral Symposium Track in Tokyo, Japan.

Blog
Tianxiong Zhang
Tianxiong Zhang

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