RATSY
From MaRDI portal
Software:26936
swMATH15042MaRDI QIDQ26936FDOQ26936
Author name not available (Why is that?)
Cited In (9)
- Performance heuristics for GR(1) synthesis and related algorithms
- Towards a notion of unsatisfiable and unrealizable cores for LTL
- Analysing sanity of requirements for avionics systems
- Interpolation-Based GR(1) Assumptions Refinement
- Synthesis of Reactive(1) designs
- Agent planning programs
- A weakness measure for GR(1) formulae
- Synthesizing robust systems
- Automated generation of dynamics-based runtime certificates for high-level control
This page was built for software: RATSY
