Anna Lukina

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

Expected to graduate in 2018.

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 Statistical Model Checking of Cyber-Physical Systems I collaborate with researchers in Europe as well as in the US. The field itself has recently become increasingly important and is of great interest for me given my previous research in Stochastic Analysis and Computer Science, and work experience with Statistical Methods. My project aims at developing intelligent algorithms for safety and resiliency of autonomous systems.

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 contemporary art, basketball, and any activity that involves mountains or sea.

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)

Selected Publications:


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).

Image and video hosting by TinyPic