papers
Publications (4)
cs.LO2009
Comparison of Algorithms for Checking Emptiness on Buechi Automata
Andreas Gaiser, Stefan Schwoon
cs.LO2012
Proving Termination of Probabilistic Programs Using Patterns
Javier Esparza, Andreas Gaiser, Stefan Kiefer
cs.LO2011
Probabilistic Abstractions with Arbitrary Domains
Javier Esparza, Andreas Gaiser
cs.LO2013
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis
Krishnendu Chatterjee, Andreas Gaiser, Jan KÅetÃnský