Using Reactive Synthesis: An End-to-End Exploratory Case Study.

Dor Ma'ayan Shahar Maoz

Published in: ICSE (2023)

Keyphrases

end to end
case study
high bandwidth
congestion control
ad hoc networks
admission control
internet protocol
scalable video
wireless ad hoc networks
real world
multipath
rate allocation
application layer
service delivery
content delivery
multi hop
real time
text localization and recognition