specification mining

network specification (1) configuration mining (1) policy synthesis (14) linear temporal logic (82) circuit synthesis (3) neural activation pattern (3) input space (2) neural network (6616) neural circuit synthesis (1) hardware synthesis (1)