html.tpl.php for a View (machine_name)?
If I understand you correctly you are wanting to create a specific 'view' template file, your initial question is not clear. You also don't mention which Drupal version you are using. I will assume it's Drupal 7. 
Go to your specific view and click Advanced then select Theme. There is a list of file names used for the view. The highlighted templates are current. After is a list of suggested templates that can be used. It's quite safe to use the first example. Copy the highlighted file from core and save it to your themes/templates folder rename it to the suggested file name.
Clear cache and revisit the same view > Advanced > themes section. Your new template file should now be highlighted. 
That's it! You are now control of the output. Edit the file as you wish.