Accelerating parameter synthesis using semi-algebraic constraints
From MaRDI portal
Publication:6536345
DOI10.1007/978-3-030-34968-4_2zbMATH Open1540.68127MaRDI QIDQ6536345
Samuel Pastva, Martin Geletka, Nikola Beneš, David Šafránek, Luboš Brim
Publication date: 19 April 2024
Symbolic computation and algebraic computation (68W30) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05) Systems biology, networks (92C42)
Cites Work
- Qualitative simulation of genetic regulatory networks using piecewise-linear models
- Computing reachable states for nonlinear biological models
- Hybridization methods for the analysis of nonlinear systems
- Polynomial interrupt timed automata
- Solving systems of strict polynomial inequalities
- System design of stochastic models using robustness of temporal properties
- STL*: extending signal temporal logic with signal-value freezing operator
- Algorithms for computing minimal unsatisfiable subsets of constraints
- Reactive synthesis from signal temporal logic specifications
- Solving Polynomial Strict Inequalities Using Cylindrical Algebraic Decomposition
- A Simple and Flexible Way of Computing Small Unsatisfiable Cores in SAT Modulo Theories
- Parameter Synthesis for Hybrid Systems with an Application to Simulink Models
- On Temporal Logic and Signal Processing
- QEPCAD B
- dReal: An SMT Solver for Nonlinear Theories over the Reals
- Cylindrical Algebraic Decomposition I: The Basic Algorithm
- Parameter Synthesis Through Temporal Logic Specifications
- Computing with semi-algebraic sets represented by triangular decomposition
- High-Performance Discrete Bifurcation Analysis for Piecewise-Affine Dynamical Systems
- Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
- \textsc{Rings}: an efficient Java/Scala library for polynomial rings
This page was built for publication: Accelerating parameter synthesis using semi-algebraic constraints
