학술논문
Run-Time Optimization for Learned Controllers Through Quantitative Games
Document Type
Conference Paper
Source
In: Computer Aided Verification - 31st International Conference, CAV 2019, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2019, 11561 LNCS:630-649)
Subject
Language
English
ISSN
16113349
03029743
03029743