Automated Synthesis of Cyber-Physical Systems: A Compositional Approach

Full project page

Organisations map overview