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