Goli Vaisi
Orcid: 0009-0006-1849-7539
According to our database1,
Goli Vaisi
authored at least 3 papers
between 2023 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
Proceedings of the 19th International Conference on Semantic Computing, 2025
Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions.
Proceedings of the 28th ACM International Conference on Hybrid Systems: Computation and Control, 2025
2023
EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023