The following pages link to Delta-Decidability over the Reals (Q2986807):
Displayed 7 items.
- 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)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
- The ksmt calculus is a \(\delta \)-complete decision procedure for non-linear constraints (Q6076350) (← links)