I'm not sure whether the arbitration covered all of the crimes that Levandowski allegedly committed; from the article,

> “Waymo asserts no claims for trade secret misappropriation in those arbitrations."

That article describes the arbitration being about poaching/non-compete agreement violations.

If they didn't raise the trade secret theft allegations, are they allowed to come back for another try? Or did they miss their opportunity?

Arbitration does not and cannot cover crimes. Arbitration is a civil matter. I would imagine that the arbitration agreement included a clause along the lines of "Alphabet will not pursue any further legal claims against Levandowski related to his time of employment." and vice versa.

I could be wrong, of course, but I doubt arbitration left open a lot of space for future action. Without the arbitration being unsealed, though, I have no way of knowing.

Of course, the US DoJ and/or California equivalents can still pursue criminal charges against Levandowski.

Probably true. But if he made fraudulent or false statements during arbitration that are later proven as such, I assume that could reopen him to lawsuits