Talks

Testing Planning Domains (without Model Checkers)

Title
Testing Planning Domains (without Model Checkers)
Speaker(s)
Charles Pecheur
Context
MBT Workshop, Braga, Portugal, Mar 31, 2007
File(s)
pecheur-mbt2007-slides

Related Publication(s):


Speakers
Charles Pecheur
Tags
, , ,