Pages that link to "Item:Q2926642"
From MaRDI portal
The following pages link to Towards Efficient Parameterized Synthesis (Q2926642):
Displayed 13 items.
- Parameterized model checking of rendezvous systems (Q1635829) (← links)
- Distributed synthesis for parameterized temporal logics (Q1784965) (← links)
- Vacuity in synthesis (Q2058393) (← links)
- Verification of agent navigation in partially-known environments (Q2144175) (← links)
- Compositional verification of smart contracts through communication abstraction (Q2145351) (← links)
- Synthesizing adaptive test strategies from temporal logic specifications (Q2280227) (← links)
- Practical synthesis of reactive systems from LTL specifications via parity games (Q2303871) (← links)
- Parameterized synthesis of self-stabilizing protocols in symmetric networks (Q2303887) (← links)
- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis (Q3297602) (← links)
- Encodings of Bounded Synthesis (Q3303904) (← links)
- Parameterized Synthesis of Self-Stabilizing Protocols in Symmetric Rings (Q5091107) (← links)
- (Q5856426) (← links)
- Tableaux for realizability of safety specifications (Q6174549) (← links)