Login / Signup
Robust Traffic Flow Control using Signal Spatio-Temporal Logic.
Sagar V. Patil
Kazumune Hashimoto
Masako Kishida
Published in:
ECC (2023)
Keyphrases
</>
flow control
temporal logic
model checking
low bandwidth
modal logic
verification method
linear temporal logic
computation tree logic
wireless networks
network traffic
traffic light
special case
general purpose
computer simulation
state dependent