Login / Signup
Data Verification for Collective Adaptive Systems: Spatial Model-Checking of Vehicle Location Data.
Vincenzo Ciancia
Stephen Gilmore
Diego Latella
Michele Loreti
Mieke Massink
Published in:
SASO Workshops (2014)
Keyphrases
</>
model checking
learning systems