V2A2
We are interested in specification language, formal verification, monitoring, safe control, planning, and learning for autonomous cyber-physical systems
United States of America
Pinned Repositories
F1TenthSimulator
StarV
Event-driven Monitoring and Verification Codesign for Learning-enabled Cyber-Physical Systems
StarV-1
Event-driven Monitoring and Verification Codesign for Learning-enabled Cyber-Physical Systems
StarV_temp
Tool for Monitoring and Verification of Distributed Learning-enabled Cyber-Physical Systems
truncated-mvn-sampler
Reimplementation using Python of the minimax tilting algorithm by Botev (2016) for simulation and iid sampling of the truncated multivariate normal distribution.
V2A2's Repositories
V2A2/StarV
Event-driven Monitoring and Verification Codesign for Learning-enabled Cyber-Physical Systems
V2A2/StarV_temp
Tool for Monitoring and Verification of Distributed Learning-enabled Cyber-Physical Systems
V2A2/F1TenthSimulator
V2A2/StarV-1
Event-driven Monitoring and Verification Codesign for Learning-enabled Cyber-Physical Systems
V2A2/truncated-mvn-sampler
Reimplementation using Python of the minimax tilting algorithm by Botev (2016) for simulation and iid sampling of the truncated multivariate normal distribution.