Common Contracts
2 similar null contracts
Counterexample-Guided Safety Contracts for Autonomous DrivingJanuary 22nd, 2019
1, . . . , N , as representing an uncontrollable perturbation for each traffic vehicle i, explaining the uncertainties in how individual drivers behave. We dedicate u as being the driving commands for the ego vehicle, whose state is x0 ∈ Rnego .
Counterexample-Guided Safety Contracts for Autonomous DrivingJuly 28th, 2018
1, . . . , N , as representing an uncontrollable perturbation for each traffic vehicle i, explaining the uncertainties in how individual drivers behave. We dedicate u as being the driving commands for the ego vehicle, whose state is x0 ∈ Rnego .
