Login / Signup

Feasibility Verification of ATSC 3.0 MIMO System for 8K-UHD Terrestrial Broadcasting.

Hoiyoon JungSung-Ik ParkBo-Mi LimHaechan KwonNamho HurSungho JeonHyeongseok KimJeongchang Kim
Published in: IEEE Trans. Broadcast. (2021)
Keyphrases
  • model checking
  • digital video
  • face verification
  • formal methods
  • verification method
  • neural network
  • formal verification
  • lidar data