Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Mathieu Barbier
Validation of Perception and Decision-Making Systems for Autonomous Driving via Statistical Model Checking
Related publications
Using Statistical Model Checking for Measuring Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Perception for Collision Avoidance and Autonomous Driving
Mechatronics
Electronic Engineering
Computer Science Applications
Electrical
Mechanical Engineering
Verification of Interlocking Systems Using Statistical Model Checking
Spike Timing Neural Model of Motion Perception and Decision Making
Frontiers in Computational Neuroscience
Neuroscience
Cellular
Molecular Neuroscience
On Decision-Making for Computation Offloading in Cloud-Assisted Autonomous Vehicle Systems
A Model for Decision Making: A Systems Approach
Coupling and Importance Sampling for Statistical Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Cognitive Process of Moral Decision-Making for Autonomous Agents
International Journal of Software Science and Computational Intelligence
Statistical Model Checking of LLVM Code
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
