Jia Chen, Jiayi Wei, Yu Feng, Osbert Bastani, Isil Dillig
Relational verification using reinforcement learning
OOPSLA, 2019.
@article{OOPSLA-2019-ChenWFBD,
author = "Jia Chen and Jiayi Wei and Yu Feng and Osbert Bastani and Isil Dillig",
doi = "10.1145/3360567",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "OOPSLA",
pages = "30",
publisher = "{ACM}",
title = "{Relational verification using reinforcement learning}",
volume = 3,
year = 2019,
}