Travelled to:1 × Austria
1 × Portugal
1 × United Kingdom
Collaborated with:B.Bollig J.Katoen M.Leucker M.Schlütter V.Stolz D.Neider D.R.Piegdon
Talks about:learn (2) play (2) framework (1) synthesi (1) scenario (1) automata (1) specif (1) replay (1) libalf (1) design (1)
Person: Carsten Kern
DBLP: Kern:Carsten
Contributed to:
2010
20072006Wrote 3 papers:
- CAV-2010-BolligKKLNP #automaton #framework #learning #named
- libalf: The Automata Learning Framework (BB, JPK, CK, ML, DN, DRP), pp. 360–364.
- TACAS-2007-BolligKKL #design #game studies #learning #modelling #synthesis
- Replaying Play In and Play Out: Synthesis of Design Models from Scenarios by Learning (BB, JPK, CK, ML), pp. 435–450.
- TACAS-2006-BolligKSS #named #specification
- MSCan — A Tool for Analyzing MSC Specifications (BB, CK, MS, VS), pp. 455–458.