BORTOLUSSI, LUCA
BORTOLUSSI, LUCA
Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo" - ISTI
Policy learning in continuous-time Markov decision processes using Gaussian Processes
2017 Bartocci, E; Bortolussi, L; Brazdil, T; Milios, D; Sanguinetti, G
Hybrid behaviour of Markov population models
2016 Bortolussi L.
Smoothed model checking for uncertain Continuous-Time Markov Chains
2016 Bortolussi L.; Milios D.; Sanguinetti G.
Fluid performability analysis of nested automata models
2015 Bortolussi, L; Hillston, J; Tribastone, M
Learning and designing stochastic processes from logical constraints
2015 Bortolussi L.; Sanguinetti G.
Model checking single agent behaviours by fluid approximation
2015 Bortolussi L.; Hillston J.
On the impact of discreteness and abstractions on modelling noise in gene regulatory networks
2015 Bodei C.; Bortolussi L.; Chiarugi D.; Guerriero M.L.; Policriti A.; Romanel A.
System design of stochastic models using robustness of temporal properties
2015 Bartocci, E; Bortolussi, L; Nenzi, L; Sanguinetti, G
A quantitative approach to the design and analysis of collective adaptive systems for smart cities
2014 TER BEEK, MAURICE HENRI; Bortolussi, L; Ciancia, V; Gnesi, S; Hillston, J; Latella, D; Massink, M
Bounds on the deviation of discrete-time Markov chains from their mean-field model
2013 Bortolussi L.; Hayden R.A.
Continuous approximation of collective systems behaviour: a tutorial
2013 Bortolussi, L; Hillston, J; Latella, D Massink M