Cited in
(18)- Unbeast
- Performance heuristics for GR(1) synthesis and related algorithms
- Automated generation of dynamics-based runtime certificates for high-level control
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- Analysing sanity of requirements for avionics systems
- Synthesizing robust systems
- iFEST
- Agent planning programs
- JTLV
- QUASY
- IndiGolog
- Acacia+
- KoMeT
- Synthesis of Reactive(1) designs
- Papyrus-RT
- A weakness measure for GR(1) formulae
- OCRA
- Interpolation-based GR(1) assumptions refinement
This page was built for software: RATSY
