%0 Journal Article %1 journals/corr/abs-2311-10863 %A Wang, Jun %A Chen, Haojun %A Sun, Zihe %A Kantaros, Yiannis %D 2023 %J CoRR %K dblp %T Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks. %U http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-10863 %V abs/2311.10863

@article{journals/corr/abs-2311-10863, added-at = {2024-01-17T00:00:00.000+0100}, author = {Wang, Jun and Chen, Haojun and Sun, Zihe and Kantaros, Yiannis}, biburl = {https://www.bibsonomy.org/bibtex/2d21aca0b1a21874ee7eedd815f0a0221/dblp}, ee = {https://doi.org/10.48550/arXiv.2311.10863}, interhash = {224609d040bc0f7e772e0514f1ec602e}, intrahash = {d21aca0b1a21874ee7eedd815f0a0221}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:19:09.000+0200}, title = {Verified Compositional Neuro-Symbolic Control for Stochastic Systems with Temporal Logic Tasks.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2311.html#abs-2311-10863}, volume = {abs/2311.10863}, year = 2023 }