Invariant Generation for Multi-Path Loops with Polynomial Assignments.
Andreas HumenbergerMaximilian JaroschekLaura KovácsPublished in: VMCAI (2018)
Keyphrases
- multipath
- end to end
- multi path routing
- routing algorithm
- multiple paths
- mimo ofdm systems
- wireless channels
- wireless ad hoc networks
- real time video
- channel estimation
- mobile ad hoc networks
- bit error rate
- fading channels
- code division multiple access
- frequency domain
- ofdm system
- wireless networks
- high resolution
- phase locked loop