Search Results for author: Anna Lukina

Found 5 papers, 3 papers with code

Into the Unknown: Active Monitoring of Neural Networks

1 code implementation14 Sep 2020 Anna Lukina, Christian Schilling, Thomas A. Henzinger

To address this challenge, we introduce an algorithmic framework for active monitoring of a neural network.

Formal Methods with a Touch of Magic

no code implementations25 May 2020 Parand Alizadeh Alamdari, Guy Avni, Thomas A. Henzinger, Anna Lukina

Machine learning and formal methods have complimentary benefits and drawbacks.

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans

no code implementations21 Dec 2016 Anna Lukina, Lukas Esterle, Christian Hirsch, Ezio Bartocci, Junxing Yang, Ashish Tiwari, Scott A. Smolka, Radu Grosu

Inspired by Importance Splitting, the length of the horizon and the number of particles are chosen such that at least one particle reaches a next-level state, that is, a state where the cost decreases by a required delta from the previous-level state.

Cannot find the paper you are looking for? You can Submit a new open access paper.