Learning Contract Invariants Using Reinforcement Learning
| Autor: | Junrui Liu, Yanju Chen, Bryan Tan, Isil Dillig, Yu Feng |
|---|---|
| Rok vydání: | 2022 |
| Zdroj: | Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering. |
| DOI: | 10.1145/3551349.3556962 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|