Lampka, K. and Harwarth,, S. and Siegle, M. (2010) Can matrix-layout-independent numerical solvers be efficient?: implementing the Moebius state-level abstract functional interface for ZDDs. In: 1st International ICST Workshop on Tools for solving Structured Markov Chains.
![[thumbnail of 1114.pdf]](http://eprints.eai.eu/style/images/fileicons/application_pdf.png "1114.pdf")
PDF
1114.pdf
Download (241kB)
Abstract
Symbolic approaches based on decision diagrams have shown to be well suited for representing very large continuous-time Markov chains (CTMC), as derived from high-level model descriptions. Unfortunately, each type of decision diagram requires its own implementation of the numerical solvers for compu
| Item Type: | Conference or Workshop Item (UNSPECIFIED) |
|---|---|
| Date Deposited: | 04 Mar 2026 08:39 |
| Last Modified: | 18 Apr 2026 06:30 |
| URI: | http://eprints.eai.eu/id/eprint/164 |
Actions (login required)
- View Item