Shaowen Miao

Publication Activity (10 Years)

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

Top Topics

Weighted Distance

Probabilistic Automata

Verification Method

Top Venues

Publications

Shaowen Miao, Aiwen Lai, Xiao Yu, Sébastien Lahaye, Jan Komenda
Verification of Detectability for Unambiguous Weighted Automata Using Self-Composition. CoDIT (2023)