The following pages link to Synthesis of Trigger Properties (Q3066106):
Displaying 4 items.
- On relative and probabilistic finite counterability (Q1742987) (← links)
- Incorporating monitors in reactive synthesis without paying the price (Q2147214) (← links)
- An abstraction-refinement framework for trigger querying (Q2248101) (← links)
- Compositional construction of most general controllers (Q2350495) (← links)