Automated Probabilistic Black-Box Verification

Project description

Automata learning for network verification

Fields of science

• natural sciences › computer and information sciences
• social sciences › educational sciences › pedagogy › active learning

Programme(s)

• H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)

Topic(s)

• ERC-2020-COG - ERC CONSOLIDATOR GRANTS

Call for proposal

ERC-2020-COG
See other projects for this call

Funding Scheme

ERC-COG - Consolidator Grant

Host institution

UNIVERSITY COLLEGE LONDON

Address

Gower Street
WC1E 6BT London
United Kingdom

Activity type

Higher or Secondary Education Establishments

Links

EU contribution

€ 2 000 000

Beneficiaries (1)

UNIVERSITY COLLEGE LONDON

United Kingdom

EU contribution

€ 2 000 000

Address

Gower Street
WC1E 6BT London

Activity type

Higher or Secondary Education Establishments

Links