The fish stock of the common sole in the Adriatic Sea has been analysed by agent-based modelling and simulation techniques as an integration of other classical stock assessment models. In this work we start investigating also about the formal probabilistic modelling of our case study in order to extract valuable biological information from available formal verification techniques. In particular, a PRISM model for the common sole is developed and some initial results are discussed.

Probabilistic Modelling and Analysis of a Fish Population

TESEI, Luca;NIETO CORIA, CESAR AUGUSTO;MERELLI, Emanuela
2015

Abstract

The fish stock of the common sole in the Adriatic Sea has been analysed by agent-based modelling and simulation techniques as an integration of other classical stock assessment models. In this work we start investigating also about the formal probabilistic modelling of our case study in order to extract valuable biological information from available formal verification techniques. In particular, a PRISM model for the common sole is developed and some initial results are discussed.
9783662492239
9783662492246
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/388252
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? 0
social impact