Constraint-based analysis of concurrent probabilistic hybrid systems: An application to networked automation systems
Keywords: حل مشکل; Concurrent probabilistic hybrid systems; Probabilistic logic; Constraint satisfaction problems; Problem solvers; Automatic verification