Model checking Markov population models by central Limit approximation (Contributo in atti di convegno)

Type
Label
  • Model checking Markov population models by central Limit approximation (Contributo in atti di convegno) (literal)
Anno
  • 2013-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-642-40196-1_9 (literal)
Alternative label
  • Bortolussi, L., Lanciani, R. (2013)
    Model checking Markov population models by central Limit approximation
    in QEST 2013 - Quantitative Evaluation of Systems. 10th International Conference, Buenos Aires, Argentina, 27-30 August 2013
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Bortolussi, L., Lanciani, R. (literal)
Pagina inizio
  • 123 (literal)
Pagina fine
  • 138 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/chapter/10.1007%2F978-3-642-40196-1_9 (literal)
Note
  • PuMa (literal)
  • Scopu (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, Italy; IMT, Lucca, Italy. (literal)
Titolo
  • Model checking Markov population models by central Limit approximation (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-642-40195-4 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#curatoriVolume
  • Kaustubh Joshi, Markus Siegle, Mariëlle Stoelinga, Pedro R. D'Argenio (literal)
Abstract
  • In this paper we investigate the use of Central Limit Approximation of Continuous Time Markov Chains to verify collective properties of large population models, describing the interaction of many similar individual agents. More precisely, we specify properties in terms of individual agents by means of deterministic timed automata with a single global clock (which cannot be reset), and then use the Central Limit Approximation to estimate the probability that a given fraction of agents satisfies the local specification. (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it