1,292 followers
Runtime Verification of Temporal Properties over Out-of-order Data Streams. https://t.co/cF2gjYcDtA
Runtime Verification of Temporal Properties over Out-of-order Data Streams. https://t.co/cF2gjYcDtA
#arXiv #cs_LO "Runtime Verification of Temporal Properties over Out-of-order Data Streams. (arXiv:1707.05555v1 [cs… https://t.co/QUgGNiF5qR
A fresh take on hybrid modeling & verification w/o detailed models https://t.co/sWEsJkbSSD #CAV2017 #AutonomousVehicles