Travelled to:1 × Germany
1 × Poland
1 × Spain
Collaborated with:∅
Talks about:construct (1) symmetri (1) reachabl (1) progress (1) generat (1) analysi (1) method (1) measur (1) invari (1) integr (1)
Person: Karsten Schmidt 0004
DBLP: 0004:Karsten_Schmidt
Contributed to:
200420032000Wrote 3 papers:
- TACAS-2004-Schmidt #automation #generative
- Automated Generation of a Progress Measure for the Sweep-Line Method (KS0), pp. 192–204.
- TACAS-2003-Schmidt #invariant #petri net #using
- Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.
- TACAS-2000-Schmidt #analysis #low level #reachability #symmetry
- Integrating Low Level Symmetries into Reachability Analysis (KS0), pp. 315–330.