Travelled to:1 × Estonia
Collaborated with:P.E.Bulychev A.David K.G.Larsen M.Mikucionis A.Legay Z.Wang
Talks about:automata (1) statist (1) uppaal (1) price (1) model (1) check (1) time (1) smc (1)
Person: Danny Bøgsted Poulsen
DBLP: Poulsen:Danny_B=oslash=gsted
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.