Publication | Open Access
VerifCar: a framework for modeling and model checking communicating autonomous vehicles
16
Citations
20
References
2019
Year
EngineeringFormal ModelingAutonomous VehiclesAutomated ReasoningAutomationVerificationFormal MethodsComputer-aided VerificationSystems EngineeringAutonomous SystemsComputer ScienceModel CheckingModel VerificationFormal VerificationSoftware Verification
| Year | Citations | |
|---|---|---|
Page 1
Page 1