BORTOLUSSI, LUCA
BORTOLUSSI, LUCA
Mostra
records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.027 secondi).
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 M. H.; 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