%0 Conference Paper %1 conf/icst/GuE23 %A Gu, Rong %A Enoiu, Eduard %B ICSTW %D 2023 %I IEEE %K dblp %P 18-27 %T Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems. %U http://dblp.uni-trier.de/db/conf/icst/icst2023w.html#GuE23 %@ 979-8-3503-3335-0

@inproceedings{conf/icst/GuE23, added-at = {2023-06-07T00:00:00.000+0200}, author = {Gu, Rong and Enoiu, Eduard}, biburl = {https://www.bibsonomy.org/bibtex/2efbd4dfc6b874b61f1e637b88606db2e/dblp}, booktitle = {ICSTW}, crossref = {conf/icst/2023w}, ee = {https://doi.org/10.1109/ICSTW58534.2023.00017}, interhash = {6b0a6ad18a3f1a3ba2fb1ec31203d32d}, intrahash = {efbd4dfc6b874b61f1e637b88606db2e}, isbn = {979-8-3503-3335-0}, keywords = {dblp}, pages = {18-27}, publisher = {IEEE}, timestamp = {2024-04-09T14:43:35.000+0200}, title = {Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems.}, url = {http://dblp.uni-trier.de/db/conf/icst/icst2023w.html#GuE23}, year = 2023 }