Engineering constraint solvers for automatic analysis of probabilistic hybrid automata (Q710668): 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 @@
+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.jlap.2010.07.003
+Normal rank
@@ Property / OpenAlex ID @@
+W2118424907
@@ Property / OpenAlex ID: W2118424907 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Parallel SAT Solving in Bounded Model Checking
@@ Property / cites work: Parallel SAT Solving in Bounded Model Checking / 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 @@
+Q4404205
@@ Property / cites work: Q4404205 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2849590
@@ Property / cites work: Q2849590 / rank @@
+Normal rank
@@ Property / cites work @@
+Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes
+Normal rank
@@ Property / cites work @@
+Q5503674
@@ Property / cites work: Q5503674 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3245701
@@ Property / cites work: Q3245701 / 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 @@
+Heterogeneous constraint solving
@@ Property / cites work: Heterogeneous constraint solving / rank @@
+Normal rank
@@ Property / cites work @@
+Q3184605
@@ Property / cites work: Q3184605 / rank @@
+Normal rank
@@ Property / cites work @@
+Verified integration of ODEs and flows using differential algebraic methods on high-order Taylor models
+Normal rank
@@ Property / cites work @@
+Stochastic hybrid systems. Theory and safety critical applications.
+Normal rank
@@ Property / cites work @@
+Q4417983
@@ Property / cites work: Q4417983 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3434956
@@ Property / cites work: Q3434956 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Hybrid Systems
@@ Property / cites work: Stochastic Hybrid Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736997
@@ Property / cites work: Q4736997 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3680030
@@ Property / cites work: Q3680030 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3136505
@@ Property / cites work: Q3136505 / rank @@
+Normal rank
@@ Property / cites work @@
+A Computing Procedure for Quantification Theory
@@ Property / cites work: A Computing Procedure for Quantification Theory / rank @@
+Normal rank
@@ Property / cites work @@
+A machine program for theorem-proving
@@ Property / cites work: A machine program for theorem-proving / rank @@
+Normal rank
@@ Property / cites work @@
+SAT Modulo ODE: A Direct SAT Approach to Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Stochastic stability properties of jump linear systems
+Normal rank
@@ Property / cites work @@
+HySAT: An efficient proof engine for bounded model checking of hybrid systems
+Normal rank
@@ Property / cites work @@
+Q5457277
@@ Property / cites work: Q5457277 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Satisfiability Modulo Theory: A Novel Technique for the Analysis of Probabilistic Hybrid Systems
+Normal rank
@@ Property / cites work @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Predicative programming Part I
@@ Property / cites work: Predicative programming Part I / 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 @@
+Hybrid Systems: Computation and Control
@@ Property / cites work: Hybrid Systems: Computation and Control / rank @@
+Normal rank
@@ Property / cites work @@
+Interval arithmetic
@@ Property / cites work: Interval arithmetic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4953390
@@ Property / cites work: Q4953390 / 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 @@
+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 @@
+Q5444070
@@ Property / cites work: Q5444070 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5437369
@@ Property / cites work: Q5437369 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5566070
@@ Property / cites work: Q5566070 / rank @@
+Normal rank
@@ Property / cites work @@
+Derived eigenvalues of symmetric matrices, with applications to distance geometry
+Normal rank
@@ Property / cites work @@
+Solving SAT and SAT Modulo Theories
@@ Property / cites work: Solving SAT and SAT Modulo Theories / rank @@
+Normal rank
@@ Property / cites work @@
+Games against nature
@@ Property / cites work: Games against nature / rank @@
+Normal rank
@@ Property / cites work @@
+Reachability analysis of stochastic hybrid systems: a biodiesel production system
+Normal rank
@@ Property / cites work @@
+Q2766628
@@ Property / cites work: Q2766628 / rank @@
+Normal rank
@@ Property / cites work @@
+Stochastic Satisfiability Modulo Theories for Non-linear Arithmetic
+Normal rank