 | 2012 |
|---|
| 8 |       | Javier Esparza,
Andreas Gaiser,
Stefan Kiefer:
Proving Termination of Probabilistic Programs Using Patterns
CoRR abs/1204.2932: (2012) |
| 2011 |
|---|
| 7 | | Javier Esparza,
Andreas Gaiser:
Probabilistic Abstractions with Arbitrary Domains.
SAS 2011: 334-350 |
| 6 | | Javier Esparza,
Andreas Gaiser:
Probabilistic Abstractions with Arbitrary Domains
CoRR abs/1106.1364: (2011) |
| 2010 |
|---|
| 5 | | Andreas Gaiser:
Probabilistic Verification Techniques and Probabilistic Program Analysis.
AlgoSyn 2010: 148 |
| 4 | | Javier Esparza,
Andreas Gaiser,
Stefan Kiefer:
Computing Least Fixed Points of Probabilistic Systems of Polynomials.
STACS 2010: 359-370 |
| 2009 |
|---|
| 3 | | Andreas Gaiser,
Stefan Schwoon:
Comparison of Algorithms for Checking Emptiness on Büchi Automata.
MEMICS 2009 |
| 2 | | Andreas Gaiser,
Stefan Schwoon:
Comparison of Algorithms for Checking Emptiness on Buechi Automata
CoRR abs/0910.3766: (2009) |
| 1 | | Javier Esparza,
Andreas Gaiser,
Stefan Kiefer:
Computing Least Fixed Points of Probabilistic Systems of Polynomials
CoRR abs/0912.4226: (2009) |
Data released under the ODC-BY 1.0 license — See also our legal information page