🎉🎉🎉 Our paper has been accepted by FM 2026!!!
Image credit: UnsplashOur 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.
PhD Researcher
Research interests — Digital Twins, Computer Vision, Advanced Air Mobility.