![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Anna Lukina
Person information
- affiliation: Delft University of Technology, The Netherlands
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [e1]Guy Avni
, Mirco Giacobbe
, Taylor T. Johnson
, Guy Katz
, Anna Lukina
, Nina Narodytska
, Christian Schilling
:
AI Verification - First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22-23, 2024, Proceedings. Lecture Notes in Computer Science 14846, Springer 2024, ISBN 978-3-031-65111-3 [contents] - [i9]Florent Delgrange, Guy Avni, Anna Lukina, Christian Schilling, Ann Nowé, Guillermo A. Pérez:
Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies. CoRR abs/2402.13785 (2024) - 2023
- [j2]Konstantin Kueffner, Anna Lukina
, Christian Schilling
, Thomas A. Henzinger
:
Into the unknown: active monitoring of neural networks (extended version). Int. J. Softw. Tools Technol. Transf. 25(4): 575-592 (2023) - [c15]Anna Lukina
:
Combining Runtime Monitoring and Machine Learning with Human Feedback. AAAI 2023: 15448 - [c14]Christian Schilling, Anna Lukina, Emir Demirovic, Kim Guldstrand Larsen:
Safety Verification of Decision-Tree Policies in Continuous Time. NeurIPS 2023 - 2022
- [j1]Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey:
MurTree: Optimal Decision Trees via Dynamic Programming and Search. J. Mach. Learn. Res. 23: 26:1-26:47 (2022) - 2021
- [c13]Anna Lukina
, Christian Schilling
, Thomas A. Henzinger
:
Into the Unknown: Active Monitoring of Neural Networks. RV 2021: 42-61 - 2020
- [c12]Thomas A. Henzinger, Anna Lukina
, Christian Schilling
:
Outside the Box: Abstraction-Based Monitoring of Neural Networks. ECAI 2020: 2433-2440 - [c11]Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina
:
Formal Methods with a Touch of Magic. FMCAD 2020: 138-147 - [i8]Radu Grosu, Anna Lukina, Scott A. Smolka, Ashish Tiwari, Vasudha Varadarajan, Xingfang Wang:
V-Formation via Model Predictive Control. CoRR abs/2002.08955 (2020) - [i7]Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina:
Formal Methods with a Touch of Magic. CoRR abs/2005.12175 (2020) - [i6]Emir Demirovic, Anna Lukina, Emmanuel Hebrard, Jeffrey Chan, James Bailey, Christopher Leckie, Kotagiri Ramamohanarao, Peter J. Stuckey:
MurTree: Optimal Classification Trees via Dynamic Programming and Search. CoRR abs/2007.12652 (2020) - [i5]Anna Lukina, Christian Schilling, Thomas A. Henzinger:
Into the unknown: Active monitoring of neural networks. CoRR abs/2009.06429 (2020)
2010 – 2019
- 2019
- [c10]Anna Lukina:
Adaptive Optimization Framework for Control of Multi-Agent Systems. AAAI 2019: 9991-9992 - [c9]Anna Lukina
, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
Distributed adaptive-neighborhood control for stochastic reachability in multi-agent systems. SAC 2019: 914-921 - [p1]Axel Legay, Anna Lukina
, Louis-Marie Traonouez, Junxing Yang, Scott A. Smolka, Radu Grosu:
Statistical Model Checking. Computing and Software Science 2019: 478-504 - [i4]Thomas A. Henzinger, Anna Lukina, Christian Schilling:
Outside the Box: Abstraction-Based Monitoring of Neural Networks. CoRR abs/1911.09032 (2019) - 2018
- [c8]Anna Lukina
, Ashish Tiwari, Scott A. Smolka, Lukas Esterle
, Junxing Yang, Radu Grosu:
Resilient Control and Safety for Cyber-Physical Systems. MT@CPSWeek 2018: 16-17 - [c7]Matt Schmittle, Anna Lukina
, Lukas Vacek, Jnaneshwar Das, Christopher P. van Buskirk, Stephen A. Rees
, Janos Sztipanovits, Radu Grosu, Vijay Kumar:
OpenUAV: a UAV testbed for the CPS and robotics community. ICCPS 2018: 130-139 - [c6]Anna Lukina
, Arjun Kumar, Matt Schmittle, Abhijeet Singh, Jnaneshwar Das, Stephen A. Rees
, Christopher P. van Buskirk, Janos Sztipanovits, Radu Grosu, Vijay Kumar:
Formation control and persistent monitoring in the openUAV swarm simulator on the NSF CPS-VO. ICCPS 2018: 353-354 - [i3]Anna Lukina, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
Adaptive Neighborhood Resizing for Stochastic Reachability in Multi-Agent Systems. CoRR abs/1805.07929 (2018) - 2017
- [c5]Anna Lukina:
V for Verification: Intelligent Algorithm of Checking Reliability of Smart Systems. AAAI 2017: 5046-5047 - [c4]Ashish Tiwari, Scott A. Smolka, Lukas Esterle
, Anna Lukina
, Junxing Yang, Radu Grosu:
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. ATVA 2017: 446-462 - [c3]Anna Lukina:
Resilient Control and Safety for Multi-Agent Cyber-Physical Systems. IJCAI 2017: 5187-5188 - [c2]Anna Lukina
, Lukas Esterle
, Christian Hirsch, Ezio Bartocci
, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. TACAS (2) 2017: 286-302 - [i2]Scott A. Smolka, Ashish Tiwari, Lukas Esterle, Anna Lukina, Junxing Yang, Radu Grosu:
Attacking the V: On the Resiliency of Adaptive-Horizon MPC. CoRR abs/1702.00290 (2017) - 2016
- [c1]Kenan Kalajdzic, Cyrille Jégourel, Anna Lukina
, Ezio Bartocci
, Axel Legay, Scott A. Smolka, Radu Grosu:
Feedback Control for Statistical Model Checking of Cyber-Physical Systems. ISoLA (1) 2016: 46-61 - [i1]Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu:
ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans. CoRR abs/1612.07059 (2016)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-04 20:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint