Travelled to:1 × Austria
1 × Hungary
Collaborated with:T.Sato J.Esparza R.Ledesma-Garza R.Majumdar F.Niksic
Talks about:approach (1) probabl (1) infinit (1) analysi (1) comput (1) cover (1) tabl (1) base (1) smt (1)
Person: Philipp Meyer
DBLP: Meyer:Philipp
Contributed to:
2014
2012Wrote 2 papers:
- CAV-2014-EsparzaLMMN #analysis #approach #smt
- An SMT-Based Approach to Coverability Analysis (JE, RLG, RM, PM, FN), pp. 603–619.
- ICLP-2012-SatoM #infinity #probability
- Tabling for infinite probability computation (TS, PM), pp. 348–358.