Andreas Gaiser

Available identifiers

zbMath Open gaiser.andreasMaRDI QIDQ396600

List of research outcomes

Publication	Date of Publication	Type
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars	2014-08-13	Paper
Rabinizer: small deterministic automata for \({\mathrm{LTL}(\mathrm{F},\mathrm{G})}\)	2012-11-21	Paper
Comparison of algorithms for checking emptiness on Büchi automata	2012-09-28	Paper
COMPUTING LEAST FIXED POINTS OF PROBABILISTIC SYSTEMS OF POLYNOMIALS	2012-01-23	Paper

Research outcomes over time

This page was built for person: Andreas Gaiser