Hamiltonian path integral formalism with higher derivatives

We study the Hamiltonian path integral formalism for systems containing higher derivatives. First we show the consistency of the formalism in applications involving only scalar fields. Later we use the Maxwell electromagnetic theory with a higher order regularization term to show that the Batalin-Fradkin-Vilkovisky (BFV) theory can also be consistently described.