Travelled to:1 × Belgium
Collaborated with:R.He P.Jennings S.Basu H.Wu
Talks about:properti (1) approach (1) unbound (1) statist (1) until (1) model (1) check (1) bound (1)
Person: Arka P. Ghosh
DBLP: Ghosh:Arka_P=
Contributed to:
2010Wrote 1 papers:
- ASE-2010-HeJBGW #approach #bound #model checking #statistics
- A bounded statistical approach for model checking of unbounded until properties (RH, PJ, SB, APG, HW), pp. 225–234.