Yongan Mu

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Distributed Multi Agent Systems

Formal Verification

Probabilistic Reasoning

Top Venues

J. Intell. Fuzzy Syst.

Publications

Yongan Mu, Wei Liu, Tao Lu, Juan Li, Sheng Gao, Zihao Wang
Runtime verification of self-adaptive multi-agent system using probabilistic timed automata. J. Intell. Fuzzy Syst. 45 (6) (2023)