Brian Yarbrough
Jesse Wayment
Brian Yarbrough
Jingbo Wang
Shreyas Sundaram
Philip E. Paré
HyParLyVe: Hyperplane Partitioning for Neural Lyapunov Verification.
2026
May
abs/2605.03992
CoRR
https://doi.org/10.48550/arXiv.2605.03992
db/journals/corr/corr2605.html#abs-2605-03992
streams/journals/corr
Brian Yarbrough
Neal Wagner
Assessing security risk for wireless sensor networks under cyber attack.
1:1-1:12
2018
SpringSim (ANSS)
http://dl.acm.org/citation.cfm?id=3213033
conf/springsim/2018anss
db/conf/springsim/anss2018.html#YarbroughW18
Philip E. ParePhilip E. Paré
Shreyas Sundaram
Neal Wagner
Jingbo Wang
Jesse Wayment