The following pages link to BoSy (Q5974888):
Displayed 8 items.
- Linear temporal logic -- from infinite to finite horizon (Q2147173) (← links)
- Live synthesis (Q2147189) (← links)
- Compositional synthesis of modular systems (Q2147209) (← links)
- Clausal abstraction for DQBF (Q2181947) (← links)
- Practical synthesis of reactive systems from LTL specifications via parity games (Q2303871) (← links)
- Synthesis from hyperproperties (Q2303878) (← links)
- Semantic Labelling and Learning for Parity Game Solving in LTL Synthesis (Q3297602) (← links)
- (Q5020996) (← links)