Pinned Repositories
ARESFramework
Adaptive Optimization Framework for Control and Verification of CPS
DistributedV
Distributed Control of a V-Formation
VForm
Centralized Control for Reachability
ViennaBall
Projection mapping for Vienna Ball of Sciences 2019
web-resume
CS-601_S16
Computer Science track core course, IST Austria, Spring 2016
Borderless2021.github.io
SAIV-2024
Wolverine2022
Wolverine 2022 web page
Wolverine2023
AnnaLukina's Repositories
AnnaLukina/ARESFramework
Adaptive Optimization Framework for Control and Verification of CPS
AnnaLukina/DistributedV
Distributed Control of a V-Formation
AnnaLukina/VForm
Centralized Control for Reachability
AnnaLukina/ViennaBall
Projection mapping for Vienna Ball of Sciences 2019
AnnaLukina/web-resume