- Project Assistant, MSc
- Cyber-Physical Systems Group
- Institute of Computer Engineering
- Technische Universität Wien
- Address: Treitlstraße 3, 3rd floor, 1040 Wien
- Room number: DE 03 14
- T: +43 (1) 58801 - 182 33
- E: anna(dot)lukina(at)tuwien.ac.at TISS
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.
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.
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.
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)
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).
- Bio: Lomonosov Moscow State University. Faculty of Computational Mathematics and Cybernetics
- For more information please refer to LinkedIn