%0 Conference Paper %1 conf/cdc/Lavaei23a %A Lavaei, Abolfazl %B CDC %D 2023 %I IEEE %K dblp %P 7994-7999 %T Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy. %U http://dblp.uni-trier.de/db/conf/cdc/cdc2023.html#Lavaei23a %@ 979-8-3503-0124-3

@inproceedings{conf/cdc/Lavaei23a, added-at = {2024-01-29T00:00:00.000+0100}, author = {Lavaei, Abolfazl}, biburl = {https://www.bibsonomy.org/bibtex/251dc7f1f28933180c52e464be509bf7f/dblp}, booktitle = {CDC}, crossref = {conf/cdc/2023}, ee = {https://doi.org/10.1109/CDC49753.2023.10384152}, interhash = {e1fabad9cea79d96a212d22ab5293a80}, intrahash = {51dc7f1f28933180c52e464be509bf7f}, isbn = {979-8-3503-0124-3}, keywords = {dblp}, pages = {7994-7999}, publisher = {IEEE}, timestamp = {2024-04-09T15:26:05.000+0200}, title = {Symbolic Abstractions with Guarantees: A Data-Driven Divide-and-Conquer Strategy.}, url = {http://dblp.uni-trier.de/db/conf/cdc/cdc2023.html#Lavaei23a}, year = 2023 }