Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
challeng (1) system (1) verif (1) valid (1) autom (1) plan (1)
♂ Person: Jeremy Frank
DBLP: Frank:Jeremy
Facilitated 1 volumes:
Contributed to:
Wrote 1 papers:
- ASE-2013-Frank #automation #challenge #validation #verification
- The challenges of verification and validation of automated planning systems (JF), p. 2.