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).

Efficient Checking of Individual Rewards Properties in Markov Population Models

Posted by luca | On Wednesday, 27 January 2016

Title	Efficient Checking of Individual Rewards Properties in Markov Population Models
Publication Type	Conference Paper
Authors	Bortolussi L, Hillston J