Travelled to:1 × Estonia
Collaborated with:A.David K.G.Larsen M.Mikucionis D.B.Poulsen A.Legay Z.Wang
Talks about:automata (1) statist (1) uppaal (1) price (1) model (1) check (1) time (1) smc (1)
Person: Peter E. Bulychev
DBLP: Bulychev:Peter_E=
Contributed to:
2012Wrote 1 papers:
- QAPL-2012-BulychevDLMPLW #automaton #model checking #named #statistics
- UPPAAL-SMC: Statistical Model Checking for Priced Timed Automata (PEB, AD, KGL, MM, DBP, AL, ZW), pp. 1–16.