Pages that link to "Item:Q1600045"
From MaRDI portal
The following pages link to Quantified constraints under perturbation (Q1600045):
Displaying 5 items.
- Contractor programming (Q840818) (← links)
- Quasi-decidability of a fragment of the first-order theory of real numbers (Q2013319) (← links)
- Safety verification of non-linear hybrid systems is quasi-decidable (Q2248097) (← links)
- GUARANTEED TERMINATION IN THE VERIFICATION OF LTL PROPERTIES OF NON-LINEAR ROBUST DISCRETE TIME HYBRID SYSTEMS (Q3426788) (← links)
- Relating syntactic and semantic perturbations of hybrid automata (Q5009441) (← links)
