Sotabase

Career

· Chief Operating Officer (COO), SoScale Media AB2025–
· Strategic Advisor | Business Coach, SSE Business Lab2023–
· Business Consultant | Business Coach, A.LUKINS AB2017–
· Chairman of the Board | Investor, Saltcore AB2017–
· Interim CEO | COO | Co-founder, The Ode To AB2016–2024
· Chairman of the Board | Investor, FakeAI2015–

Publications (18)

MurTree: Optimal Decision Trees via Dynamic Programming and Search
Journal of machine learning research · 2020
81
cited
Statistical Model Checking
Computing and Software Science · 2019
57
cited
OpenUAV: A UAV Testbed for the CPS and Robotics Community
International Conference on Cyber-Physical Systems · 2018
53
cited
Into the unknown: Active monitoring of neural networks
Runtime Verification · 2020
29
cited
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
International Conference on Tools and Algorithms for Construction and Analysis of Systems · 2016
22
cited
Feedback Control for Statistical Model Checking of Cyber-Physical Systems
Leveraging Applications of Formal Methods · 2016
20
cited
Formal Methods with a Touch of Magic
Formal Methods in Computer-Aided Design · 2020
16
cited
Attacking the V: On the Resiliency of Adaptive-Horizon MPC
Automated Technology for Verification and Analysis · 2017
11
cited
Formation Control and Persistent Monitoring in the OpenUAV Swarm Simulator on the NSF CPS-VO
International Conference on Cyber-Physical Systems · 2018
4
cited
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems
ACM Symposium on Applied Computing · 2019
3
cited
Resilient Control and Safety for Cyber-Physical Systems
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) · 2018
3
cited
Adaptive Optimization Framework for Control of Multi-Agent Systems
AAAI Conference on Artificial Intelligence · 2019
1
cited
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems
arXiv.org · 2018
Combining Runtime Monitoring and Machine Learning with Human Feedback
AAAI Conference on Artificial Intelligence · 2023
DIATOPIC AND DIACHRONIC VARIATION OF VERBAL FORMS (BY FRENCH MANUSCRIPTS OF THE XIII-XIV CENTURIES)
2020
Illegal annexation and state continuity: the case of the incorporation of the Baltic states by the USSR
Journal of Baltic Studies · 2023
Resilient Control and Safety for Multi-Agent Cyber-Physical Systems
International Joint Conference on Artificial Intelligence · 2017
V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems
AAAI Conference on Artificial Intelligence · 2017
Sotabase
Anna Lukina | Researcher Profile | Sotabase | Sotabase