You can set width and height using:
virtual int VideoOS.Platform.Data.AVIExporter.Width
virtual int VideoOS.Platform.Data.AVIExporter.Height
Note.
The AVI Exporter will give you the resolution of the footage recorded if you do not set these properties. It might not make sense to export in higher resolution than that of the recorded footage as it will give a bad quality scaling up beyond the original resolution