Publication | Closed Access

Set reachability and observability of probabilistic Boolean networks

Reachability AnalysisEngineeringReachability ProblemBoolean FunctionAutomated ReasoningFormal MethodsSet ReachabilityComputer ScienceCombinatorial OptimizationFormal Verification