The following pages link to Synthesis of Reactive(1) designs (Q439954):
Displaying 43 items.
- Finite abstractions with robustness margins for temporal logic-based control synthesis (Q313326) (← links)
- Adapting behaviors via reactive synthesis (Q832238) (← links)
- Causality-based game solving (Q832242) (← links)
- Agent planning programs (Q899440) (← links)
- Compositional and symbolic synthesis of reactive controllers for multi-agent systems (Q1641032) (← links)
- Dynamic hierarchical reactive controller synthesis (Q1693821) (← links)
- Augmented finite transition systems as abstractions for control synthesis (Q1693823) (← links)
- Automated generation of dynamics-based runtime certificates for high-level control (Q1693827) (← links)
- Shield synthesis (Q1696587) (← links)
- Optimal multirate sampling in symbolic models for incrementally stable switched systems (Q1716572) (← links)
- GR(1)*: GR(1) specifications extended with existential guarantees (Q1982646) (← links)
- Static and dynamic property-preserving updates (Q2042718) (← links)
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\) (Q2094389) (← links)
- On-the-fly informed search of non-blocking directed controllers (Q2103713) (← links)
- Compositional construction of abstractions for infinite networks of discrete-time switched systems (Q2123412) (← links)
- Linear temporal logic -- from infinite to finite horizon (Q2147173) (← links)
- On the relation between reactive synthesis and supervisory control of non-terminating processes (Q2177781) (← links)
- Code aware resource management (Q2248054) (← links)
- Efficient controller synthesis for a fragment of \(\mathrm{MTL}_{0,\infty}\) (Q2249659) (← links)
- Refutation-based synthesis in SMT (Q2280222) (← links)
- Performance heuristics for GR(1) synthesis and related algorithms (Q2303873) (← links)
- Synthesizing optimally resilient controllers (Q2303880) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)
- Mean-payoff games with \(\omega\)-regular specifications (Q2669180) (← links)
- Qualitative Approximate Behavior Composition (Q2915091) (← links)
- Symbolic Model Checking in Non-Boolean Domains (Q3176389) (← links)
- Approximate Automata for Omega-Regular Languages (Q3297599) (← links)
- Interpolation-Based GR(1) Assumptions Refinement (Q3303899) (← links)
- (Q4580320) (← links)
- (Q5015271) (← links)
- Synthesizing Optimally Resilient Controllers (Q5079759) (← links)
- Flexible FOND Planning with Explicit Fairness Assumptions (Q5094037) (← links)
- (Q5111328) (← links)
- (Q5207050) (← links)
- Most General Property-Preserving Updates (Q5739011) (← links)
- (Q5875383) (← links)
- A weakness measure for GR(1) formulae (Q5918136) (← links)
- A weakness measure for GR(1) formulae (Q5918262) (← links)
- Specifiable robustness in reactive synthesis (Q6102166) (← links)
- On the complexity of rational verification (Q6133701) (← links)
- Finite-trace and generalized-reactivity specifications in temporal synthesis (Q6151754) (← links)
- Reactive synthesis for relay-explorer consensus with intermittent communication (Q6175602) (← links)
- On tolerance of discrete systems with respect to transition perturbations (Q6201386) (← links)
