Paper accepted in Research Directions

We are delighted that our paper about QuantiVA, the quantitative verification of autonomous driving, has been accepted in Research Directions: Cyber-Physical Systems.