%0 Conference Paper %1 conf/cav/AvniBCHKP19 %A Avni, Guy %A Bloem, Roderick %A Chatterjee, Krishnendu %A Henzinger, Thomas A. %A Könighofer, Bettina %A Pranger, Stefan %B CAV (1) %D 2019 %E Dillig, Isil %E Tasiran, Serdar %I Springer %K dblp %P 630-649 %T Run-Time Optimization for Learned Controllers Through Quantitative Games. %U http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#AvniBCHKP19 %V 11561 %@ 978-3-030-25540-4

@inproceedings{conf/cav/AvniBCHKP19, added-at = {2019-08-20T00:00:00.000+0200}, author = {Avni, Guy and Bloem, Roderick and Chatterjee, Krishnendu and Henzinger, Thomas A. and Könighofer, Bettina and Pranger, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/215bdfc2a5235226456bee96cccc38ceb/dblp}, booktitle = {CAV (1)}, crossref = {conf/cav/2019-1}, editor = {Dillig, Isil and Tasiran, Serdar}, ee = {https://doi.org/10.1007/978-3-030-25540-4_36}, interhash = {f5a3c7a90aa7e4913e85f0a871415fe5}, intrahash = {15bdfc2a5235226456bee96cccc38ceb}, isbn = {978-3-030-25540-4}, keywords = {dblp}, pages = {630-649}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-08-21T11:57:14.000+0200}, title = {Run-Time Optimization for Learned Controllers Through Quantitative Games.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2019-1.html#AvniBCHKP19}, volume = 11561, year = 2019 }