State Tracking and Verification for Distributed Nodes through Traffic Inspection.

Konrad Altenhofen Julian Zobel Björn Scheuermann

Published in: DEBS (2024)

Keyphrases

real time
multi agent
cooperative
kalman filter
distributed environment
fault tolerant
camera network
shortest path
network nodes
model checking
network traffic
traffic flow
load balance
moving vehicles
state vector
traffic surveillance