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 articleResearchpeer-review

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

Keywords

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

Fingerprint Dive into the research topics of 'Abstract probabilistic automata'. Together they form a unique fingerprint.

Cite this