Verifying dynamic race detection.

William Mansky Yuanfeng Peng Steve Zdancewic Joseph Devietti

Published in: CPP (2017)

Keyphrases

false alarms
object detection
dynamic environments
artificial intelligence
detection algorithm
false positives
detection method
automatic detection
detection accuracy
dynamically changing
machine learning
mobile robot
particle filter