%0 Conference Paper %1 conf/kbse/LiuCTD022 %A Liu, Junrui %A Chen, Yanju %A Tan, Bryan %A Dillig, Isil %A Feng, Yu %B ASE %D 2022 %I ACM %K dblp %P 63:1-63:11 %T Learning Contract Invariants Using Reinforcement Learning. %U http://dblp.uni-trier.de/db/conf/kbse/ase2022.html#LiuCTD022 %@ 978-1-4503-9475-8

@inproceedings{conf/kbse/LiuCTD022, added-at = {2023-01-15T00:00:00.000+0100}, author = {Liu, Junrui and Chen, Yanju and Tan, Bryan and Dillig, Isil and Feng, Yu}, biburl = {https://www.bibsonomy.org/bibtex/27d8f48b59529478c38988f63c2655f54/dblp}, booktitle = {ASE}, crossref = {conf/kbse/2022}, ee = {https://doi.org/10.1145/3551349.3556962}, interhash = {f95e13ff6a6728e2b2ed84e089b30bed}, intrahash = {7d8f48b59529478c38988f63c2655f54}, isbn = {978-1-4503-9475-8}, keywords = {dblp}, pages = {63:1-63:11}, publisher = {ACM}, timestamp = {2024-04-09T23:52:18.000+0200}, title = {Learning Contract Invariants Using Reinforcement Learning.}, url = {http://dblp.uni-trier.de/db/conf/kbse/ase2022.html#LiuCTD022}, year = 2022 }