Path Delay Test of the Carnegie Mellon Logic Characterization Vehicle.

Ben Niewenhuis Balaji Ravikumar Zeye Liu R. D. Shawn Blanton

Published in: VTS (2019)

Keyphrases

pedestrian detection
wind tunnel
automated reasoning
logic programming
test data
real time
test cases
test suite
classical logic
traffic monitoring