Pages that link to "Item:Q5429317"
From MaRDI portal
The following pages link to On Synthesizing Controllers from Bounded-Response Properties (Q5429317):
Displaying 12 items.
- CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems (Q397407) (← links)
- Synthesizing bounded-time 2-phase fault recovery (Q903518) (← links)
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\) (Q2094389) (← links)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) (Q2249659) (← links)
- (Q3152838) (← links)
- On Construction of Safety Signal Automata for $MITL[\:\mathcal{U},\:\mathcal{S}]$ Using Temporal Projections (Q3172853) (← links)
- Compositional Control Synthesis for Partially Observable Systems (Q3184691) (← links)
- Realizability of Real-Time Logics (Q3648828) (← links)
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors (Q5452193) (← links)
- Controller synthesis made real: reach-avoid specifications and linear dynamics (Q6045012) (← links)
- Taming large bounds in synthesis from bounded-liveness specifications (Q6536131) (← links)
- Extended bounded response LTL: a new safety fragment for efficient reactive synthesis (Q6661746) (← links)
