2
Publications
43
Citations
2
H-Index
2022
Active since
Affiliations
Bryan Tan is an author at University of California, Santa Barbara specializing in formal methods, formal specification, and data security.
Top concepts
EngineeringVerificationData SecurityFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2022–2022
2
2
Learning Contract Invariants Using Reinforcement Learning
Junrui Liu, Yanju Chen, Bryan Tan et al. · 2022 · 16 citations · Full text
Rows per page
1–2 of 2