36 citations · 113 across the 35 of their papers we have counts for
1 paper · 2 filters
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…