Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking

doi 10.1109/ivs.2019.8813793
Full Text
Abstract

Available in full text

Date
Authors
Publisher

IEEE

Related search

Using Statistical Model Checking for Measuring Systems

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2014English

Perception for Collision Avoidance and Autonomous Driving

Mechatronics
Electronic EngineeringComputer Science ApplicationsElectricalMechanical Engineering
2003English

Verification of Interlocking Systems Using Statistical Model Checking

2017English

Spike Timing Neural Model of Motion Perception and Decision Making

Frontiers in Computational Neuroscience
NeuroscienceCellularMolecular Neuroscience
2019English

On Decision-Making for Computation Offloading in Cloud-Assisted Autonomous Vehicle Systems

2017English

A Model for Decision Making: A Systems Approach

2000English

Coupling and Importance Sampling for Statistical Model Checking

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2012English

Cognitive Process of Moral Decision-Making for Autonomous Agents

International Journal of Software Science and Computational Intelligence
2013English

Statistical Model Checking of LLVM Code

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy