48 citations · 192 across the 38 of their papers we have counts for
1 paper · 1 filter
Chuchu Fan, Zhenqi Huang, Sayan Mitra
We present a new partial order reduction method for reachability analysis of nondeterministic labeled transition systems over metric spaces. Nondeterminism arises from both the cho…