Login / Signup
VICTOR: An Implicit Approach to Mitigate Misinformation via Continuous Verification Reading.
Kuan-Chieh Lo
Shih-Chieh Dai
Aiping Xiong
Jing Jiang
Lun-Wei Ku
Published in:
WWW (2022)
Keyphrases
</>
model checking
concurrent systems
face verification
databases
learning algorithm
feature selection
case study
reinforcement learning
formal verification
asynchronous circuits
note taking