Travelled to:1 × Cyprus
1 × France
1 × Portugal
Collaborated with:B.Finkbeiner A.Kupriyanov H.Wehrheim V.Forejt M.Z.Kwiatkowska D.Parker M.Ujma S.Kupferschmid J.Hoffmann H.Dierks A.Podelski G.Behrmann
Talks about:system (2) model (2) probabilist (1) synthesi (1) abstract (1) permiss (1) infinit (1) heurist (1) control (1) concurr (1)
Person: Klaus Dräger
DBLP: Dr=auml=ger:Klaus
Contributed to:
201420102007Wrote 3 papers:
- TACAS-2014-DragerFKPU #probability #synthesis
- Permissive Controller Synthesis for Probabilistic Systems (KD, VF, MZK, DP, MU), pp. 531–546.
- TACAS-2010-DragerKFW #concurrent #infinity #model checking #named
- SLAB: A Certifying Model Checker for Infinite-State Concurrent Systems (KD, AK, BF, HW), pp. 271–274.
- TACAS-2007-KupferschmidDHFDPB #heuristic #model checking
- Uppaal/DMC- Abstraction-Based Heuristics for Directed Model Checking (SK, KD, JH, BF, HD, AP, GB), pp. 679–682.