Approximate Partial Order Reduction
FM, pp. 588-607, 2018.
We present a new partial order reduction method for reachability analysis of nondeterministic labeled transition systems over metric spaces. Nondeterminism arises from both the choice of the initial state and the choice of actions, and the number of executions to be explored grows exponentially with their length. We introduce a notion of ...More
Full Text (Upload PDF)
PPT (Upload PPT)