Travelled to:1 × France
1 × Germany
Collaborated with:M.Fränzle A.Eggers
Talks about:expect (2) probabilist (1) satisfact (1) stochast (1) interpol (1) satisfi (1) problem (1) general (1) boolean (1) system (1)
Person: Tino Teige
DBLP: Teige:Tino
Contributed to:
2011
2010Wrote 2 papers:
- TACAS-2011-TeigeF #probability #problem #satisfiability
- Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems (TT, MF), pp. 158–172.
- IFM-2010-FranzleTE #hybrid #probability #smt
- Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.