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 |
|---|---|---|
| A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars Information Processing Letters | 2014-08-13 | Paper |
| Rabinizer: small deterministic automata for \({\mathrm{LTL}(\mathrm{F},\mathrm{G})}\) Automated Technology for Verification and Analysis | 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
