Varró, Dániel
(BME,
MTA-BME Lendület
Kiberfizikai Rendszerek Kutatócsoport,
McGill University, Canada)
Towards the Automated Generation of
Consistent, Realistic, Diverse and Scalable Graph Models: The CORE-DISC
Challenge
Graphs are key abstractions
in science and engineering. They may represent linked data in graph databases,
complex designs of cyber-physical systems or critical contextual situations for
autonomous systems. Synthetic graph generators are essential when the use of
real graph models is restricted (to respect privacy regulations or intellectual
properties of companies) or impractical (to find corner-cases for safety
assurance). In this talk, I will provide an overview of major challenges and
recent research results to provide a next generation of graph generators which
can derive graph models which are simultaneously consistent (CO), realistic
(RE), diverse (DI) and scalable (SC). In
particular, I will present an efficient graph solver that combines advanced
graph algorithms with well-known satisfiability algorithms.
The talk is held in English!
Az előadás nyelve angol!
Date: Sep 17, Tuesday 4:15pm
Place: BME, Building „Q”, Room QBF13