2.1 CURRENT RESEARCH
My current research program is organized around three main dimensions:
Research
Certification of Stochastic Systems
Research
Monitoring AI in Deployment
Research
Interpretable sequential decision-making
Below are some concrete recent projects. See my research summary (pdf) for more details.
AI Verification: Second International Symposium
authors:
Giacobbe, M. & Lukina, A.
AI Verification
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
authors:
Demirović, E.; Schilling, C.; and Lukina, A.
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
authors:
Lutz, S.; Spaan, M. T.; and Lukina, A.
Composing Reinforcement Learning Policies, with Formal Guarantees
authors:
Delgrange, F.; Avni, G.; Lukina, A.; Schilling, C.; Nowe, A.; and Perez, G.
Neural continuous-time supermartingale certificates (Oral presentation)
authors:
Neustroev, G.; Giacobbe, M.; and Lukina, A.
AI Verification: First International Symposium
authors:
Avni, G.; Giacobbe, M.; Johnson, T. T; Katz, G.; Lukina, A.; Narodytska, N.; and Schilling, C.
AI Verification
Safety verification of decision-tree policies in continuous time (Spotlight, top 3%)
authors:
Schilling, C.; Lukina, A.; Demirović, E.; and Larsen, K.
NeurIPS
Into the unknown: active monitoring of neural networks (extended version)
authors:
Kueffner, K.; Lukina, A.; Schilling, C.; and Henzinger, T.
Murtree: Optimal decision trees via dynamic programming and search
authors:
Demirović, E.; Lukina, A.; Hebrard, E.; Chan, J.; Bailey, J.; Leckie, C.; Ramamohanarao, K.; and Stuckey, P.
Into the unknown: Active monitoring of neural networks
authors:
Lukina, A.; Schilling, C.; and Henzinger, T. A
AI in Deployment
Formal methods with a touch of magic
authors:
Alamdari, P. A.; Avni, G.; Henzinger, T. A; and Lukina, A.
AI Verification
Outside the Box: Abstraction-Based Monitoring of Neural Networks
authors:
Henzinger, T. A; Lukina, A.; and Schilling, C.
Statistical model checking
authors:
Legay, A.; Lukina, A.; Traonouez, L. M.; Yang, J.; Smolka, S. A; and Grosu, R.
AI Verification
Adaptive optimization framework for verification and control of cyber-physical systems
authors:
Lukina, A.
AI Verification
2.2 Open Projects
Open Projects
Formal methods for industrial automation
2.1 CURRENT RESEARCH
My current research program is organized around three main dimensions:
Research
Certification of Stochastic Systems
Research
Monitoring AI in Deployment
Research
Interpretable sequential decision-making
Below are some concrete recent projects. See my research summary (pdf) for more details.
AI Verification: Second International Symposium
authors:
Giacobbe, M. & Lukina, A.
AI Verification
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
authors:
Demirović, E.; Schilling, C.; and Lukina, A.
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
authors:
Lutz, S.; Spaan, M. T.; and Lukina, A.
Composing Reinforcement Learning Policies, with Formal Guarantees
authors:
Delgrange, F.; Avni, G.; Lukina, A.; Schilling, C.; Nowe, A.; and Perez, G.
Neural continuous-time supermartingale certificates (Oral presentation)
authors:
Neustroev, G.; Giacobbe, M.; and Lukina, A.
AI Verification: First International Symposium
authors:
Avni, G.; Giacobbe, M.; Johnson, T. T; Katz, G.; Lukina, A.; Narodytska, N.; and Schilling, C.
AI Verification
Safety verification of decision-tree policies in continuous time (Spotlight, top 3%)
authors:
Schilling, C.; Lukina, A.; Demirović, E.; and Larsen, K.
NeurIPS
Into the unknown: active monitoring of neural networks (extended version)
authors:
Kueffner, K.; Lukina, A.; Schilling, C.; and Henzinger, T.
Murtree: Optimal decision trees via dynamic programming and search
authors:
Demirović, E.; Lukina, A.; Hebrard, E.; Chan, J.; Bailey, J.; Leckie, C.; Ramamohanarao, K.; and Stuckey, P.
Into the unknown: Active monitoring of neural networks
authors:
Lukina, A.; Schilling, C.; and Henzinger, T. A
AI in Deployment
Formal methods with a touch of magic
authors:
Alamdari, P. A.; Avni, G.; Henzinger, T. A; and Lukina, A.
AI Verification
Outside the Box: Abstraction-Based Monitoring of Neural Networks
authors:
Henzinger, T. A; Lukina, A.; and Schilling, C.
Statistical model checking
authors:
Legay, A.; Lukina, A.; Traonouez, L. M.; Yang, J.; Smolka, S. A; and Grosu, R.
AI Verification
Adaptive optimization framework for verification and control of cyber-physical systems
authors:
Lukina, A.
AI Verification
2.2 Open Projects
Open Projects
Formal methods for industrial automation
2.1 CURRENT RESEARCH
My current research program is organized around three main dimensions:
Research
Certification of Stochastic Systems
Research
Monitoring AI in Deployment
Research
Interpretable sequential decision-making
Below are some concrete recent projects. See my research summary (pdf) for more details.
AI Verification: Second International Symposium
authors:
Giacobbe, M. & Lukina, A.
AI Verification
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
authors:
Demirović, E.; Schilling, C.; and Lukina, A.
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
authors:
Lutz, S.; Spaan, M. T.; and Lukina, A.
Composing Reinforcement Learning Policies, with Formal Guarantees
authors:
Delgrange, F.; Avni, G.; Lukina, A.; Schilling, C.; Nowe, A.; and Perez, G.
Neural continuous-time supermartingale certificates (Oral presentation)
authors:
Neustroev, G.; Giacobbe, M.; and Lukina, A.
AI Verification: First International Symposium
authors:
Avni, G.; Giacobbe, M.; Johnson, T. T; Katz, G.; Lukina, A.; Narodytska, N.; and Schilling, C.
AI Verification
Safety verification of decision-tree policies in continuous time (Spotlight, top 3%)
authors:
Schilling, C.; Lukina, A.; Demirović, E.; and Larsen, K.
NeurIPS
Into the unknown: active monitoring of neural networks (extended version)
authors:
Kueffner, K.; Lukina, A.; Schilling, C.; and Henzinger, T.
Murtree: Optimal decision trees via dynamic programming and search
authors:
Demirović, E.; Lukina, A.; Hebrard, E.; Chan, J.; Bailey, J.; Leckie, C.; Ramamohanarao, K.; and Stuckey, P.
Into the unknown: Active monitoring of neural networks
authors:
Lukina, A.; Schilling, C.; and Henzinger, T. A
AI in Deployment
Formal methods with a touch of magic
authors:
Alamdari, P. A.; Avni, G.; Henzinger, T. A; and Lukina, A.
AI Verification
Outside the Box: Abstraction-Based Monitoring of Neural Networks
authors:
Henzinger, T. A; Lukina, A.; and Schilling, C.
Statistical model checking
authors:
Legay, A.; Lukina, A.; Traonouez, L. M.; Yang, J.; Smolka, S. A; and Grosu, R.
AI Verification
Adaptive optimization framework for verification and control of cyber-physical systems
authors:
Lukina, A.
AI Verification
2.2 Open Projects
Open Projects
Formal methods for industrial automation
2.1 CURRENT RESEARCH
My current research program is organized around three main dimensions:
Research
Certification of Stochastic Systems
Research
Monitoring AI in Deployment
Research
Interpretable sequential decision-making
Below are some concrete recent projects. See my research summary (pdf) for more details.
AI Verification: Second International Symposium
authors:
Giacobbe, M. & Lukina, A.
AI Verification
In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search.
authors:
Demirović, E.; Schilling, C.; and Lukina, A.
VeRecycle: Reclaiming Guarantees from Probabilistic Certificates for Stochastic Dynamical Systems after Change
authors:
Lutz, S.; Spaan, M. T.; and Lukina, A.
Composing Reinforcement Learning Policies, with Formal Guarantees
authors:
Delgrange, F.; Avni, G.; Lukina, A.; Schilling, C.; Nowe, A.; and Perez, G.
Neural continuous-time supermartingale certificates (Oral presentation)
authors:
Neustroev, G.; Giacobbe, M.; and Lukina, A.
AI Verification: First International Symposium
authors:
Avni, G.; Giacobbe, M.; Johnson, T. T; Katz, G.; Lukina, A.; Narodytska, N.; and Schilling, C.
AI Verification
Safety verification of decision-tree policies in continuous time (Spotlight, top 3%)
authors:
Schilling, C.; Lukina, A.; Demirović, E.; and Larsen, K.
NeurIPS
Into the unknown: active monitoring of neural networks (extended version)
authors:
Kueffner, K.; Lukina, A.; Schilling, C.; and Henzinger, T.
Murtree: Optimal decision trees via dynamic programming and search
authors:
Demirović, E.; Lukina, A.; Hebrard, E.; Chan, J.; Bailey, J.; Leckie, C.; Ramamohanarao, K.; and Stuckey, P.
Into the unknown: Active monitoring of neural networks
authors:
Lukina, A.; Schilling, C.; and Henzinger, T. A
AI in Deployment
Formal methods with a touch of magic
authors:
Alamdari, P. A.; Avni, G.; Henzinger, T. A; and Lukina, A.
AI Verification
Outside the Box: Abstraction-Based Monitoring of Neural Networks
authors:
Henzinger, T. A; Lukina, A.; and Schilling, C.
Statistical model checking
authors:
Legay, A.; Lukina, A.; Traonouez, L. M.; Yang, J.; Smolka, S. A; and Grosu, R.
AI Verification
Adaptive optimization framework for verification and control of cyber-physical systems
authors:
Lukina, A.