Error message

Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).
Notice: Array to string conversion in theme_biblio_tabular() (line 244 of /home/bortolussi/bortolussi.dmg.units.it/modules/biblio/includes/biblio_theme.inc).

Smoothed model checking for uncertain Continuous-Time Markov Chains

Posted by luca | On Wednesday, 27 January 2016

Title	Smoothed model checking for uncertain Continuous-Time Markov Chains
Publication Type	Journal Article
Authors	Bortolussi L, Milios D, Sanguinetti G

File:

Infcomp2016-smc.pdf