Segui
Anna Lukina
Anna Lukina
Assistant professor at TU Delft
Email verificata su tudelft.nl - Home page
Titolo
Citata da
Citata da
Anno
Statistical model checking
A Legay, A Lukina, LM Traonouez, J Yang, SA Smolka, R Grosu
Computing and software science: state of the art and perspectives, 478-504, 2019
922019
Murtree: Optimal decision trees via dynamic programming and search
E Demirović, A Lukina, E Hebrard, J Chan, J Bailey, C Leckie, ...
Journal of Machine Learning Research 23 (26), 1-47, 2022
71*2022
Outside the Box: Abstraction-Based Monitoring of Neural Networks
TA Henzinger, A Lukina, C Schilling
Proceedings of the 24th European Conference on Artificial Intelligence 325, 2020
682020
OpenUAV: A UAV testbed for the CPS and robotics community
M Schmittle, A Lukina, L Vacek, J Das, CP Buskirk, S Rees, J Sztipanovits, ...
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
622018
Feedback control for statistical model checking of cyber-physical systems
K Kalajdzic, C Jégourel, A Lukina, E Bartocci, A Legay, SA Smolka, ...
Leveraging Applications of Formal Methods, Verification and Validation …, 2016
322016
ARES: adaptive receding-horizon synthesis of optimal plans
A Lukina, L Esterle, C Hirsch, E Bartocci, J Yang, A Tiwari, SA Smolka, ...
Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017
242017
Into the unknown: Active monitoring of neural networks
A Lukina, C Schilling, TA Henzinger
International Conference on Runtime Verification, 42-61, 2021
232021
Attacking the V: on the resiliency of adaptive-horizon MPC
A Tiwari, SA Smolka, L Esterle, A Lukina, J Yang, R Grosu
Automated Technology for Verification and Analysis: 15th International …, 2017
13*2017
Formal methods with a touch of magic
PA Alamdari, G Avni, TA Henzinger, A Lukina
Proceedings of the 20th Conference on Formal Methods in Computer Aided …, 2020
122020
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems
A Lukina, A Tiwari, SA Smolka, R Grosu
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 914-921, 2019
4*2019
Into the unknown: active monitoring of neural networks (extended version)
K Kueffner, A Lukina, C Schilling, TA Henzinger
International Journal on Software Tools for Technology Transfer 25 (4), 575-592, 2023
32023
Resilient control and safety for cyber-physical systems
A Lukina, A Tiwari, SA Smolka, L Esterle, J Yang, R Grosu
2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT …, 2018
32018
V-formation via model predictive control
R Grosu, A Lukina, SA Smolka, A Tiwari, V Varadarajan, X Wang
arXiv preprint arXiv:2002.08955, 2020
22020
Formation control and persistent monitoring in the openuav swarm simulator on the NSF CPS-VO
A Lukina, A Kumar, M Schmittle, A Singh, J Das, S Rees, CP Buskirk, ...
2018 ACM/IEEE 9th International Conference on Cyber-Physical Systems (ICCPS …, 2018
22018
V for verification: intelligent algorithm of checking reliability of smart systems
A Lukina
Proceedings of the AAAI Conference on Artificial Intelligence 31 (1), 2017
12017
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies
F Delgrange, G Avni, A Lukina, C Schilling, A Nowé, GA Pérez
arXiv preprint arXiv:2402.13785, 2024
2024
Safety Verification of Decision-Tree Policies in Continuous Time
C Schilling, A Lukina, E Demirović, K Larsen
Advances in Neural Information Processing Systems 36, 2024
2024
Combining runtime monitoring and machine learning with human feedback
A Lukina
Proceedings of the AAAI Conference on Artificial Intelligence 37 (13), 15448 …, 2023
2023
Active Monitoring of Neural Networks
A Lukina, C Schilling, TA Henzinger
BNAIC/BeneLearn 2021, 2021
2021
Adaptive optimization framework for control of multi-agent systems
A Lukina
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 9991-9992, 2019
2019
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20