RATSY
From MaRDI portal
Software:26936
No author found.
Related Items (9)
Analysing sanity of requirements for avionics systems ⋮ Automated generation of dynamics-based runtime certificates for high-level control ⋮ Agent planning programs ⋮ Towards a notion of unsatisfiable and unrealizable cores for LTL ⋮ Synthesis of Reactive(1) designs ⋮ Interpolation-Based GR(1) Assumptions Refinement ⋮ Synthesizing robust systems ⋮ A weakness measure for GR(1) formulae ⋮ Performance heuristics for GR(1) synthesis and related algorithms
This page was built for software: RATSY
