swMATH46339MaRDI QIDQ5974450FDOQ5974450
Author name not available (Why is that?)
Official website: https://www.ruediger-ehlers.de/papers/tacas2011.pdf
Cited In (21)
- Title not available (Why is that?)
- Practical synthesis of reactive systems from LTL specifications via parity games
- Leviathan
- BoSy
- Delag
- The complexity of counting models of linear-time temporal logic
- Synthesis of succinct systems
- Title not available (Why is that?)
- Linear temporal logic -- from infinite to finite horizon
- JTLV
- QUASY
- LTL2BA
- TTM
- Synthia
- RATSY
- Acacia+
- Strix
- BluSTL
- Encodings of bounded synthesis
- Efficient trace encodings of bounded synthesis for asynchronous distributed systems
- DejaVu
This page was built for software: Unbeast
