Amy Nejati
Timeline
2024
0
1
2
3
4
3
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
A Physics-Informed Scenario Approach with Data Mitigation for Safety Verification of Nonlinear Systems.
CoRR, 2024
Data-Driven Control of Large-Scale Networks with Formal Guarantees: A Small-Gain Free Approach.
CoRR, 2024
From Data to Control: A Formal Compositional Framework for Large-Scale Interconnected Networks.
CoRR, 2024