Cited in
(17)- scientific article; zbMATH DE number 7455737 (Why is no real title available?)
- Practical synthesis of reactive systems from LTL specifications via parity games
- Clausal abstraction for DQBF
- Live synthesis
- SPOT
- JTLV
- QUASY
- RATSY
- Semantic labelling and learning for parity game solving in LTL synthesis
- Acacia+
- Strix
- Linear temporal logic -- from infinite to finite horizon
- Synthesis from hyperproperties
- Oink
- Compositional synthesis of modular systems
- Unbeast
- Owl
This page was built for software: BoSy
