Puedes exportar los vídeos directamente desde el menú de Archivo, exportación y seleccionar el formato que desees. Hay mucha información en la red sobre todo los formatos.

Por la naturaleza de tu pregunta, se ve que no conoces el programa mucho. Te aconsejo que te leas el manual en PDF primero. Se encuentra en la carpeta del programa y existe mucha información sobre las exportaciones.

Tendrás que entrar en la configuración avanzada de cada codificación.

Saludos!