Skip to main content

Automated Probabilistic Black-Box Verification

Project description

Automata learning for network verification

Call for proposal

ERC-2020-COG
See other projects for this call

Host institution

UNIVERSITY COLLEGE LONDON
Address
Gower Street
WC1E 6BT London
United Kingdom

See on map

Activity type
Higher or Secondary Education Establishments
EU contribution
€ 2 000 000

Beneficiaries (1)

UNIVERSITY COLLEGE LONDON
United Kingdom
EU contribution
€ 2 000 000
Address
Gower Street
WC1E 6BT London

See on map

Activity type
Higher or Secondary Education Establishments