JTLV

swMATH8859MaRDI QIDQ20857FDOQ20857

Author name not available (Why is that?)

Cited In (6)

• Performance heuristics for GR(1) synthesis and related algorithms
• Verification of multi-linked heaps
• Synthesis from scenario-based specifications
• Effective Synthesis of Asynchronous Systems from GR(1) Specifications
• Synthesis of Reactive(1) designs
• Agent planning programs

This page was built for software: JTLV