Parameter synthesis of polynomial dynamical systems (Q2105425): Difference between revisions

@@ Property / describes a project that uses @@
+CORA
@@ Property / describes a project that uses: CORA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ariadne
@@ Property / describes a project that uses: Ariadne / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Pyhybridanalysis
@@ Property / describes a project that uses: Pyhybridanalysis / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Breach
@@ Property / describes a project that uses: Breach / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SpaceEx
@@ Property / describes a project that uses: SpaceEx / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+AlexNet
@@ Property / describes a project that uses: AlexNet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ImageNet
@@ Property / describes a project that uses: ImageNet / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+d/dt
@@ Property / describes a project that uses: d/dt / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyTech
@@ Property / describes a project that uses: HyTech / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+JuliaReach
@@ Property / describes a project that uses: JuliaReach / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Flow*
@@ Property / describes a project that uses: Flow* / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+dReach
@@ Property / describes a project that uses: dReach / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+HyPro
@@ Property / describes a project that uses: HyPro / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Sapo
@@ Property / describes a project that uses: Sapo / 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.ic.2022.104941
+Normal rank
@@ Property / OpenAlex ID @@
+W4285498081
@@ Property / OpenAlex ID: W4285498081 / rank @@
+Normal rank
@@ Property / cites work @@
+Lumping-based equivalences in Markovian automata: algorithms and applications to product-form analyses
+Normal rank
@@ Property / cites work @@
+Q4806208
@@ Property / cites work: Q4806208 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation-equivalent reachability of large linear systems with inputs
+Normal rank
@@ Property / cites work @@
+Ariadne: Dominance Checking of Nonlinear Hybrid Automata Using Reachability Analysis
+Normal rank
@@ Property / cites work @@
+JuliaReach
@@ Property / cites work: JuliaReach / rank @@
+Normal rank
@@ Property / cites work @@
+On Reachability for Hybrid Automata over Bounded Time
+Normal rank
@@ Property / cites work @@
+Introduction to Dynamical Systems
@@ Property / cites work: Introduction to Dynamical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Bernstein form of a polynomial
@@ Property / cites work: Bernstein form of a polynomial / rank @@
+Normal rank
@@ Property / cites work @@
+\(\epsilon\)-semantics computations on biological systems
+Normal rank
@@ Property / cites work @@
+Q5227061
@@ Property / cites work: Q5227061 / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter Synthesis Through Temporal Logic Specifications
+Normal rank
@@ Property / cites work @@
+Robust online monitoring of signal temporal logic
@@ Property / cites work: Robust online monitoring of signal temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Sapo
@@ Property / cites work: Sapo / rank @@
+Normal rank
@@ Property / cites work @@
+Parameter synthesis for polynomial biological models
+Normal rank
@@ Property / cites work @@
+Reachability computation for polynomial dynamical systems
+Normal rank
@@ Property / cites work @@
+Sherlock - A tool for verification of neural network feedback systems
+Normal rank
@@ Property / cites work @@
+Sequential data assimilation of the stochastic SEIR epidemic model for regional COVID-19 dynamics
+Normal rank
@@ Property / cites work @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+The Bernstein polynomial basis: a centennial retrospective
+Normal rank
@@ Property / cites work @@
+Discrete Dynamical Systems
@@ Property / cites work: Discrete Dynamical Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q4234084
@@ Property / cites work: Q4234084 / rank @@
+Normal rank
@@ Property / cites work @@
+Verisig
@@ Property / cites work: Verisig / rank @@
+Normal rank
@@ Property / cites work @@
+Analog property checkers: a DDR2 case study
@@ Property / cites work: Analog property checkers: a DDR2 case study / rank @@
+Normal rank
@@ Property / cites work @@
+Q5638871
@@ Property / cites work: Q5638871 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
+Normal rank
@@ Property / cites work @@
+Validated computation of the local truncation error of Runge–Kutta methods with automatic differentiation
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2105425