On Dynamical Probabilities, or: How to Learn to Shoot Straight - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2016

On Dynamical Probabilities, or: How to Learn to Shoot Straight

Herbert Wiklicky
  • Fonction : Auteur
  • PersonId : 1022472

Résumé

In order to support, for example, a quantitative analysis of various algorithms, protocols etc. probabilistic features have been introduced into a number of programming languages and calculi. It is by now quite standard to define the formal semantics of (various) probabilistic languages, for example, in terms of Discrete Time Markov Chains (DTMCs). In most cases however the probabilities involved are represented by constants, i.e. one deals with static probabilities. In this paper we investigate a semantical framework which allows for changing, i.e. dynamic probabilities which is still based on time-homogenous DTMCs, i.e. the transition matrix representing the semantics of a program does not change over time.
Fichier principal
Vignette du fichier
416253_1_En_16_Chapter.pdf (373.68 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01631724 , version 1 (09-11-2017)

Licence

Identifiants

Citer

Herbert Wiklicky. On Dynamical Probabilities, or: How to Learn to Shoot Straight. 18th International Conference on Coordination Languages and Models (COORDINATION), Jun 2016, Heraklion, Greece. pp.262-277, ⟨10.1007/978-3-319-39519-7_16⟩. ⟨hal-01631724⟩
186 Consultations
47 Téléchargements

Altmetric

Partager

More