Abstract probabilistic automata

Benoit Delahaye, Joost Pieter Katoen, Kim G. Larsen, Axel Legay*, Mikkel L. Pedersen, Falak Sher, Andrzej Wa̧sowski

*Corresponding author

Research output: Contribution to journalJournal article

13 Citations (Scopus)
Original languageEnglish
JournalInformation and Computation
Volume232
Pages (from-to)66-116
Number of pages51
ISSN0890-5401
DOIs
Publication statusPublished - 4 Nov 2013

    Fingerprint

Keywords

  • Abstraction
  • Compositional reasoning
  • Interface automata
  • Probabilistic Automata
  • Specification

Cite this

Delahaye, B., Katoen, J. P., Larsen, K. G., Legay, A., Pedersen, M. L., Sher, F., & Wa̧sowski, A. (2013). Abstract probabilistic automata. Information and Computation, 232, 66-116. https://doi.org/10.1016/j.ic.2013.10.002