The following pages link to Strix (Q45131):
Displaying 15 items.
- (Q49125) (redirect page) (← links)
- Adapting behaviors via reactive synthesis (Q832238) (← links)
- \(\mathsf{GR}(1)\) is equivalent to \(\mathsf{R}(1)\) (Q2094389) (← links)
- Back to the future: a fresh look at linear temporal logic (Q2117656) (← links)
- Linear temporal logic -- from infinite to finite horizon (Q2147173) (← links)
- Live synthesis (Q2147189) (← links)
- Runtime enforcement of hyperproperties (Q2147207) (← links)
- Incorporating monitors in reactive synthesis without paying the price (Q2147214) (← links)
- New Optimizations and Heuristics for Determinization of Büchi Automata (Q3297598) (← links)
- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis (Q3297602) (← links)
- (Q5020527) (← links)
- (Q5020529) (← links)
- (Q5020996) (← links)
- (Q5020998) (← links)
- A Unified Translation of Linear Temporal Logic to ω-Automata (Q5056447) (← links)
