%0 Conference Paper %1 conf/cav/BoetiusL23 %A Boetius, David %A Leue, Stefan %B FoMLAS@CAV %D 2023 %E Narodytska, Nina %E Amir, Guy %E Katz, Guy %E Isac, Omri %I EasyChair %K dblp %P 71-82 %T Verifying Global Neural Network Specifications using Hyperproperties. %U http://dblp.uni-trier.de/db/conf/cav/fomlas2023.html#BoetiusL23 %V 16

@inproceedings{conf/cav/BoetiusL23, added-at = {2024-05-29T00:00:00.000+0200}, author = {Boetius, David and Leue, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/20f899d0b5b3e5f0b3ac441778eea8730/dblp}, booktitle = {FoMLAS@CAV}, crossref = {conf/cav/2023fomlas}, editor = {Narodytska, Nina and Amir, Guy and Katz, Guy and Isac, Omri}, ee = {https://doi.org/10.29007/pvtn}, interhash = {30a84a1128165b116ba0918e88fcdc23}, intrahash = {0f899d0b5b3e5f0b3ac441778eea8730}, keywords = {dblp}, pages = {71-82}, publisher = {EasyChair}, series = {Kalpa Publications in Computing}, timestamp = {2024-06-03T07:16:33.000+0200}, title = {Verifying Global Neural Network Specifications using Hyperproperties.}, url = {http://dblp.uni-trier.de/db/conf/cav/fomlas2023.html#BoetiusL23}, volume = 16, year = 2023 }