12 citations · 26 across the 3 of their papers we have counts for
3 papers
Certified Inductive Synthesis for Online Mixed-Integer Optimization
Marco Zamponi, Emilio Incerto, Daniele Masti +1
In fields such as autonomous and safety-critical systems, online optimization plays a crucial role in control and decision-making processes, often requiring the integration of cont…
Inference of Probabilistic Programs with Moment-Matching Gaussian Mixtures
Francesca Randone, Luca Bortolussi, Emilio Incerto +1
Computing the posterior distribution of a probabilistic program is a hard task for which no one-fit-for-all solution exists. We propose Gaussian Semantics, which approximates the e…
Learning Queuing Networks by Recurrent Neural Networks
Giulio Garbi, Emilio Incerto, Mirco Tribastone
It is well known that building analytical performance models in practice is difficult because it requires a considerable degree of proficiency in the underlying mathematics. In thi…