Constraint-based analysis of concurrent probabilistic hybrid systems: an application to networked automation systems (Q547916): Difference between revisions

@@ Property / describes a project that uses @@
+HySAT
@@ Property / describes a project that uses: HySAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+PaQuBE
@@ Property / describes a project that uses: PaQuBE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MathSAT
@@ Property / describes a project that uses: MathSAT / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ABsolver
@@ Property / describes a project that uses: ABsolver / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.nahs.2010.04.009
+Normal rank
@@ Property / OpenAlex ID @@
+W2004120748
@@ Property / OpenAlex ID: W2004120748 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5457277
@@ Property / cites work: Q5457277 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849590
@@ Property / cites work: Q2849590 / rank @@
+Normal rank
@@ Property / cites work @@
+HySAT: An efficient proof engine for bounded model checking of hybrid systems
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
+Normal rank
@@ Property / cites work @@
+Games against nature
@@ Property / cites work: Games against nature / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Boolean satisfiability
@@ Property / cites work: Stochastic Boolean satisfiability / rank @@
+Normal rank
@@ Property / cites work @@
+APPSSAT: Approximate probabilistic planning using stochastic satisfiability
+Normal rank
@@ Property / cites work @@
+Engineering constraint solvers for automatic analysis of probabilistic hybrid automata
+Normal rank
@@ Property / cites work @@
+Q2766628
@@ Property / cites work: Q2766628 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Q3136505
@@ Property / cites work: Q3136505 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4404205
@@ Property / cites work: Q4404205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953390
@@ Property / cites work: Q4953390 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3434956
@@ Property / cites work: Q3434956 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank