Software for autonomous multi-agent vehicles is getting very complex. How do you guarantee safety in every possible state of your vehicle? Specifying every state of a vehicle is unscalable with conventional programming methods and is unsafe with data driven probabilistic algorithms.
That makes the development time consuming, hard to guarantee safety, hard to test and error prone.
IVEX brings a solution that enables the developer to guarantee the outcome of its autonomous system according to the specified safety rules.