King's College London presented at The 36th International Conference on Concurrency Theory (CONCUR 2025) in Aarhus, Denmark (26–29 Aug 2025).
Why we were there: Model learning techniques for black-box (AI-enabled) systems, making them amenable to model-based analysis.
What we said: Scalable and automated techniques that learn both the structure and the behaviour of complex black box systems in tandem.
Audience: Academia, Industry.
Contribution: Talk, best paper award.
King's College London