Johann Schuster

Available identifiers

zbMath Open schuster.johann-christophMaRDI QIDQ1784954

List of research outcomes

Publication	Date of Publication	Type
Lattice structures for bisimilar probabilistic automata	2021-06-21	Paper
The quest for minimal quotients for probabilistic and Markov automata	2018-09-27	Paper
Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states	2014-07-18	Paper
Some notes on the abstraction operation for multi-terminal binary decision diagrams	2014-06-30	Paper
The quest for minimal quotients for probabilistic automata	2013-08-05	Paper
An Efficient Symbolic Elimination Algorithm for the Stochastic Process Algebra Tool CASPA	2009-02-03	Paper

Research outcomes over time

This page was built for person: Johann Schuster