%0 Conference Paper %1 conf/amcc/LiC20 %A Li, Anjian %A Chen, Mo %B ACC %D 2020 %I IEEE %K dblp %P 974-980 %T Guaranteed-Safe Approximate Reachability via State Dependency-Based Decomposition. %U http://dblp.uni-trier.de/db/conf/amcc/amcc2020.html#LiC20 %@ 978-1-5386-8266-1

@inproceedings{conf/amcc/LiC20, added-at = {2020-08-05T00:00:00.000+0200}, author = {Li, Anjian and Chen, Mo}, biburl = {https://www.bibsonomy.org/bibtex/288dc4c51740cf681f73e1c098c342b88/dblp}, booktitle = {ACC}, crossref = {conf/amcc/2020}, ee = {https://doi.org/10.23919/ACC45564.2020.9147572}, interhash = {1af3071bebbd4e1e28a6b25b196f4bf1}, intrahash = {88dc4c51740cf681f73e1c098c342b88}, isbn = {978-1-5386-8266-1}, keywords = {dblp}, pages = {974-980}, publisher = {IEEE}, timestamp = {2024-04-09T13:43:39.000+0200}, title = {Guaranteed-Safe Approximate Reachability via State Dependency-Based Decomposition.}, url = {http://dblp.uni-trier.de/db/conf/amcc/amcc2020.html#LiC20}, year = 2020 }