Anna Lukina

Research Interests: Statistical Model Checking, Analysis and Control of Multi-Agent Cyber-Physical Systems, Machine Learning, Risk Analysis, Artificial Intelligence.

Expected to graduate in February 2019.

Research Visits:

15/05/17 - 31/07/17: Prof. George Pappas, GRASP Lab, University of Pennsylvania, Philadelphia, PA, USA.

3/09/17 - 31/12/17: Prof. Joost-Pieter Katoen, MOVES Group, RWTH Aachen University, Germany.

01/02/18 - 31/05/18: Prof. Fuyuki Ishikawa, Ishikawa Lab, National Institute of Informatics, Tokyo, Japan.

About Me: 

Working primarily in the field of Control and Verification of Cyber-Physical Systems I collaborate with researchers in Europe as well as in the US. In particular, approximate techniques have recently become increasingly important and is of great interest to me given my previous research in Stochastic Analysis and Computer Science and work experience in Statistical Methods. My project aims at developing intelligent algorithms for safety and resiliency of multi-agent cyber-physical systems. The framework I propose has as its core an optimization-based control that adapts to the cost/reward value of the current system state.

Apart from my academic activities, I am a very social person interested in promoting collaborations among researchers in between different fields. I have successfully organized workshops and social events for Austrian Society of Rigorous System Engineering, as well as other scientific communities, of which I am a proud member.

Extracurricular I am passionate about bouldering and brutalist architecture.

Current Projects:

RiSE/SHiNE (Rigorous Systems Engineering, FWF). Probabilistic Analysis of Distributed Systems.

Flocking (in collaboration with Stony Brook University).

Plan synthesis for cyber-physical systems (in collaboration with University of Pennsylvania)

Model-checking of Markov decision processes (in collaboration with RWTH Aachen University)

Meta-heuristic optimization for drone teams (in collaboration with ERATO MMSD)

Selected Publications:


Schmittle, M., Lukina, A., Vacek, L., Das, J., Buskirk, C. P., Rees, S., Sztipanovits, J., Grosu, R., Kumar, V.: OpenUAV: A UAV Testbed for the CPS and Robotics Community (In Proc. of CPS Week 2018).


Lukina, A.: Resilient Control and Safety for Multi-Agent Cyber-Physical Systems (In Proc. of IJCAI 2017).

Smolka, S. A., Tiwari, A., Esterle, L., Lukina, A., Yang, J., and Grosu, R.: Attacking the V: on the Resiliency of Adaptive-Horizon MPC (In Proc. of ATVA 2017).

Lukina, A., Esterle, L., Hirsch, C., Bartocci, E., Yang, J., Tiwari, A., Smolka, S.A., and Grosu, R.: ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans (In Proc. of TACAS 2017).

Lukina, A.: V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems (In Proc. of AAAI 2017).


Kalajdzic, K., Jegourel, C., Lukina, A., Bartocci, E., Legay, A., Smolka, S.A., and Grosu, R.: Feedback Control for Statistical Model Checking of Cyber-Physical Systems. In Proc. of ISoLA 2016).