Skip to main content

Automated Synthesis of Cyber-Physical Systems: A Compositional Approach

Project description

Formal synthesis of embedded control software

Call for proposal

ERC-2018-STG
See other projects for this call

Host institution

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Address
Geschwister Scholl Platz 1
80539 Muenchen
Germany
Activity type
Higher or Secondary Education Establishments
EU contribution
€ 1 470 800

Beneficiaries (1)

LUDWIG-MAXIMILIANS-UNIVERSITAET MUENCHEN
Germany
EU contribution
€ 1 470 800
Address
Geschwister Scholl Platz 1
80539 Muenchen
Activity type
Higher or Secondary Education Establishments