RATSY

swMATH15042MaRDI QIDQ26936FDOQ26936

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007%2F978-3-642-14295-6_37

Cited In (18)

• Unbeast
• 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
• Synthesis of Reactive(1) designs
• iFEST
• JTLV
• QUASY
• IndiGolog
• Agent planning programs
• Acacia+
• KoMeT
• A weakness measure for GR(1) formulae
• Papyrus-RT
• Synthesizing robust systems
• Automated generation of dynamics-based runtime certificates for high-level control
• OCRA
• Interpolation-based GR(1) assumptions refinement

This page was built for software: RATSY