Approximate Partial Order Reduction

FM, pp. 588-607, 2018.

Cited by: 1|Bibtex|Views1|Links
EI

Abstract:

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

Code:

Data:

Your rating :
0

 

Tags
Comments