Login / Signup
Functional Safety Verification for Autonomous UGVs - Methodology Presentation and Implementation on a Full-Scale System.
Daniel Meltz
Hugo Guterman
Published in:
IEEE Trans. Intell. Veh. (2019)
Keyphrases
</>
functional verification
design methodology
multimedia
scale space
implementation details
cooperative
model checking
small scale
artificial intelligence
data model
implementation issues
formal verification
autonomous systems
functional language