%0 Conference Paper %1 conf/iccps/AnM23 %A An, Ziyan %A Ma, Meiyi %B ICCPS %D 2023 %E Mitra, Sayan %E Venkatasubramanian, Nalini %E Dubey, Abhishek %E Feng, Lu %E Ghasemi, Mahsa %E Sprinkle, Jonathan %I ACM %K dblp %P 274-275 %T Guiding Federated Learning with Inferenced Formal Logic Properties. %U http://dblp.uni-trier.de/db/conf/iccps/iccps2023.html#AnM23

@inproceedings{conf/iccps/AnM23, added-at = {2023-05-17T00:00:00.000+0200}, author = {An, Ziyan and Ma, Meiyi}, biburl = {https://www.bibsonomy.org/bibtex/292c8ce36a5059b104cb1c870db466895/dblp}, booktitle = {ICCPS}, crossref = {conf/iccps/2023}, editor = {Mitra, Sayan and Venkatasubramanian, Nalini and Dubey, Abhishek and Feng, Lu and Ghasemi, Mahsa and Sprinkle, Jonathan}, ee = {https://doi.org/10.1145/3576841.3589633}, interhash = {45091115e5260189aaf5f0667ed34eef}, intrahash = {92c8ce36a5059b104cb1c870db466895}, keywords = {dblp}, pages = {274-275}, publisher = {ACM}, timestamp = {2024-04-09T21:46:00.000+0200}, title = {Guiding Federated Learning with Inferenced Formal Logic Properties.}, url = {http://dblp.uni-trier.de/db/conf/iccps/iccps2023.html#AnM23}, year = 2023 }