The following pages link to Delta-Decidability over the Reals (Q2986807):
Displaying 13 items.
- Decidability and confluence of \(\beta\eta\text{top}_ \leqslant\) reduction in \({\mathbb{F}}_ \leqslant\) (Q1322474) (← links)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
- The \texttt{ksmt} calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q2055849) (← links)
- Towards physical hybrid systems (Q2305415) (← links)
- Computing compositional proofs of input-to-output stability using SOS optimization and \(\delta\)-decidability (Q2374569) (← links)
- Monitoring bounded LTL properties using interval analysis (Q2520682) (← links)
- On Σ‐definability without equality over the real numbers (Q3528148) (← links)
- (Q4037354) (← links)
- (Q4934351) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
- Delta-decision procedures for exists-forall problems over the reals (Q6039404) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)
- Verified propagation of imprecise probabilities in non-linear ODEs (Q6570278) (← links)
