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

@@ Property / Mathematics Subject Classification ID @@
+E03
@@ Property / Mathematics Subject Classification ID: 93E03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B03
@@ Property / Mathematics Subject Classification ID: 93B03 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+C30
@@ Property / Mathematics Subject Classification ID: 93C30 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+5913690
@@ Property / zbMATH DE Number: 5913690 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrent probabilistic hybrid systems
@@ Property / zbMATH Keywords: concurrent probabilistic hybrid systems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+probabilistic logic
@@ Property / zbMATH Keywords: probabilistic logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+constraint satisfaction problems
@@ Property / zbMATH Keywords: constraint satisfaction problems / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+problem solvers
@@ Property / zbMATH Keywords: problem solvers / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+automatic verification
@@ Property / zbMATH Keywords: automatic verification / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:547916