Travelled to:1 × Brazil
1 × Estonia
1 × South Africa
2 × France
2 × USA
Collaborated with:S.Jabbar D.Sulewski F.Reffel Christoph Greulich E.Plaku P.Kissmann Á.Torralba P.Sanders P.Simecek A.Lluch-Lafuente
Talks about:model (5) check (5) direct (3) search (2) physic (2) extern (2) effici (2) ltl (2) counterexampl (1) salesman (1)
Person: Stefan Edelkamp
DBLP: Edelkamp:Stefan
Facilitated 3 volumes:
EdEdEdContributed to:
2012
2008
2008
2006
20062005
1999
2014Wrote 9 papers:
- GRAPHITE-2012-EdelkampKT #clustering #named
- Lex-Partitioning: A New Option for BDD Search (SE, PK, ÁT), pp. 66–82.
- CAV-2008-EdelkampSS #ltl #model checking
- Semi-external LTL Model Checking (SE, PS, PS), pp. 530–542.
- SEFM-2008-EdelkampS #ltl #model checking
- Flash-Efficient LTL Model Checking with Minimal Counterexamples (SE, DS), pp. 73–82.
- ICGT-2006-EdelkampJL #analysis #graph #heuristic
- Heuristic Search for the Analysis of Graph Transition Systems (SE, SJ, ALL), pp. 414–429.
- VMCAI-2006-JabbarE #linear #model checking #parallel
- Parallel External Directed Model Checking with Linear I/O (SJ, SE), pp. 237–251.
- VMCAI-2005-JabbarE #model checking #performance
- I/O Efficient Directed Model Checking (SJ, SE), pp. 313–329.
- FM-v1-1999-ReffelE #detection #fault #model checking
- Error Detection with Directed Symbolic Model Checking (FR, SE), pp. 195–211.
- CIG-2014-EdelkampG #adaptation #physics #policy #problem
- Solving Physical Traveling Salesman Problems with policy adaptation (SE, CG), pp. 1–8.
- CIG-2014-EdelkampP #game studies #multi
- Multi-goal motion planning with physics-based game engines (SE, EP), pp. 1–8.