IMITATOR 3: Synthesis of Timing Parameters Beyond Decidability.

Étienne André

Published in: CAV (1) (2021)

Keyphrases

maximum likelihood
parameter estimation
description logics
input parameters
databases
multi agent
parameter selection
artificial intelligence
decision trees
expectation maximization
sensitivity analysis
query answering
texture synthesis
parameter tuning
design parameters
program synthesis