Travelled to:1 × Estonia
1 × France
1 × USA
Collaborated with:F.Howar B.Jonsson B.Steffen M.Merten
Talks about:automata (2) regist (2) learn (2) demonstr (1) machin (1) extend (1) state (1) infer (1) finit (1) canon (1)
Person: Sofia Cassel
DBLP: Cassel:Sofia
Contributed to:
2014
2012
2012Wrote 3 papers:
- SEFM-2014-CasselHJS #finite #learning #state machine
- Learning Extended Finite State Machines (SC, FH, BJ, BS), pp. 250–264.
- TACAS-2012-MertenHSCJ #automaton #learning
- Demonstrating Learning of Register Automata (MM, FH, BS, SC, BJ), pp. 466–471.
- VMCAI-2012-HowarSJC #automaton #canonical
- Inferring Canonical Register Automata (FH, BS, BJ, SC), pp. 251–266.