Johann Schuster
From MaRDI portal
Person:1784954
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Lattice structures for bisimilar probabilistic automata | 2021-06-21 | Paper |
| Lattice structures for bisimilar probabilistic automata (available as arXiv preprint) | 2021-06-21 | Paper |
| The quest for minimal quotients for probabilistic and Markov automata Information and Computation | 2018-09-27 | Paper |
| Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states Information and Computation | 2014-07-18 | Paper |
| Some notes on the abstraction operation for multi-terminal binary decision diagrams Formal Methods in System Design | 2014-06-30 | Paper |
| The quest for minimal quotients for probabilistic automata Tools and Algorithms for the Construction and Analysis of Systems | 2013-08-05 | Paper |
| An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA Lecture Notes in Computer Science | 2009-02-03 | Paper |
Research outcomes over time
This page was built for person: Johann Schuster
