Travelled to:1 × Italy
1 × Russia
1 × USA
Collaborated with:J.Esparza K.Chatterjee J.Kretínský S.Kiefer
Talks about:probabilist (3) arbitrari (1) synthesi (1) automata (1) abstract (1) program (1) pattern (1) general (1) termin (1) domain (1)
Person: Andreas Gaiser
DBLP: Gaiser:Andreas
Contributed to:
20132012
2011Wrote 3 papers:
- CAV-2013-ChatterjeeGK #automaton #ltl #model checking #probability #synthesis
- Automata with Generalized Rabin Pairs for Probabilistic Model Checking and LTL Synthesis (KC, AG, JK), pp. 559–575.
- CAV-2012-EsparzaGK #probability #proving #source code #termination #using
- Proving Termination of Probabilistic Programs Using Patterns (JE, AG, SK), pp. 123–138.
- SAS-2011-EsparzaG #abstraction #probability
- Probabilistic Abstractions with Arbitrary Domains (JE, AG), pp. 334–350.