JTLV
From MaRDI portal
Software:20857
No author found.
Related Items (6)
Effective Synthesis of Asynchronous Systems from GR(1) Specifications ⋮ Agent planning programs ⋮ Verification of multi-linked heaps ⋮ Synthesis of Reactive(1) designs ⋮ Synthesis from scenario-based specifications ⋮ Performance heuristics for GR(1) synthesis and related algorithms
This page was built for software: JTLV
