Travelled to:1 × France
1 × Uruguay
Collaborated with:M.Fränzle T.Teige N.Ramdani N.S.Nedialkov
Talks about:system (2) hybrid (2) expect (2) probabilist (1) satisfact (1) enclosur (1) analysi (1) modulo (1) method (1) improv (1)
Person: Andreas Eggers
DBLP: Eggers:Andreas
Contributed to:
2011
2010Wrote 2 papers:
- SEFM-2011-EggersRNF #analysis #hybrid #satisfiability
- Improving SAT Modulo ODE for Hybrid Systems Analysis by Combining Different Enclosure Methods (AE, NR, NSN, MF), pp. 172–187.
- IFM-2010-FranzleTE #hybrid #probability #smt
- Satisfaction Meets Expectations — Computing Expected Values of Probabilistic Hybrid Systems with SMT (MF, TT, AE), pp. 168–182.