Luca Bortolussi

An active learning approach to the falsification of black box cyber-physical systems
Logic-based multi-objective design of chemical reaction networks
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks
(Hybrid) automata and (stochastic) programs - The hybrid automata lattice of a stochastic program
Agent-based Protein Structure Prediction

Published with Wowchemy — the free, open source website builder that empowers creators.