Andreas Gaiser

Publication Activity (10 Years)

Years Active: 2009-2013
Publications (10 Years): 0

Top Venues

CoRR

CAV

Inf. Process. Lett.

ATVA

Technical University Munich (PHD)

Education History

Technical University Munich

PHD

Publications

Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis. CAV (2013)
Javier Esparza, Andreas Gaiser, Stefan Kiefer
A strongly polynomial algorithm for criticality of branching processes and consistency of stochastic context-free grammars. Inf. Process. Lett. 113 (10-11) (2013)
Krishnendu Chatterjee, Andreas Gaiser, Jan Kretínský
Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis CoRR (2013)
Javier Esparza, Andreas Gaiser, Stefan Kiefer
Proving Termination of Probabilistic Programs Using Patterns. CAV (2012)
Javier Esparza, Andreas Gaiser, Stefan Kiefer
Proving Termination of Probabilistic Programs Using Patterns CoRR (2012)
Andreas Gaiser, Jan Kretínský, Javier Esparza
Rabinizer: Small Deterministic Automata for LTL(F, G). ATVA (2012)
Javier Esparza, Andreas Gaiser
Probabilistic Abstractions with Arbitrary Domains. SAS (2011)
Javier Esparza, Andreas Gaiser
Probabilistic Abstractions with Arbitrary Domains CoRR (2011)
Javier Esparza, Andreas Gaiser, Stefan Kiefer
Computing Least Fixed Points of Probabilistic Systems of Polynomials. STACS (2010)
Andreas Gaiser
Probabilistic Verification Techniques and Probabilistic Program Analysis. AlgoSyn (2010)
Javier Esparza, Andreas Gaiser, Stefan Kiefer
On least fixed points of systems of positive polynomials. ACM Commun. Comput. Algebra 43 (3/4) (2009)
Andreas Gaiser, Stefan Schwoon
Comparison of Algorithms for Checking Emptiness on Büchi Automata. MEMICS (2009)
Andreas Gaiser, Stefan Schwoon
Comparison of Algorithms for Checking Emptiness on Buechi Automata CoRR (2009)
Javier Esparza, Andreas Gaiser, Stefan Kiefer
Computing Least Fixed Points of Probabilistic Systems of Polynomials CoRR (2009)

Andreas Gaiser.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Andreas Gaiser