%0 Journal Article %1 journals/tc/PradhanKPR23 %A Pradhan, Ankit %A King, Jonathan %A Pinisetty, Srinivas %A Roop, Partha S. %D 2023 %J IEEE Trans. Computers %K dblp %N 9 %P 2426-2439 %T Model Based Verification of Spiking Neural Networks in Cyber Physical Systems. %U http://dblp.uni-trier.de/db/journals/tc/tc72.html#PradhanKPR23 %V 72

@article{journals/tc/PradhanKPR23, added-at = {2023-08-18T00:00:00.000+0200}, author = {Pradhan, Ankit and King, Jonathan and Pinisetty, Srinivas and Roop, Partha S.}, biburl = {https://www.bibsonomy.org/bibtex/20113264112df8ba31e47e7c2a0ca2623/dblp}, ee = {https://doi.org/10.1109/TC.2023.3251841}, interhash = {943f4243ab2fef8272dc64f153264244}, intrahash = {0113264112df8ba31e47e7c2a0ca2623}, journal = {IEEE Trans. Computers}, keywords = {dblp}, month = {September}, number = 9, pages = {2426-2439}, timestamp = {2024-04-08T18:30:01.000+0200}, title = {Model Based Verification of Spiking Neural Networks in Cyber Physical Systems.}, url = {http://dblp.uni-trier.de/db/journals/tc/tc72.html#PradhanKPR23}, volume = 72, year = 2023 }