Picture for Anna Lukina

Anna Lukina

In Search of Trees: Decision-Tree Policy Synthesis for Black-Box Systems via Search

Add code
Sep 05, 2024
Viaarxiv icon

Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies

Add code
Feb 21, 2024
Figure 1 for Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies
Figure 2 for Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies
Figure 3 for Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies
Figure 4 for Synthesis of Hierarchical Controllers Based on Deep Reinforcement Learning Policies
Viaarxiv icon

Into the unknown: Active monitoring of neural networks

Add code
Sep 14, 2020
Figure 1 for Into the unknown: Active monitoring of neural networks
Figure 2 for Into the unknown: Active monitoring of neural networks
Figure 3 for Into the unknown: Active monitoring of neural networks
Figure 4 for Into the unknown: Active monitoring of neural networks
Viaarxiv icon

MurTree: Optimal Classification Trees via Dynamic Programming and Search

Add code
Jul 24, 2020
Figure 1 for MurTree: Optimal Classification Trees via Dynamic Programming and Search
Figure 2 for MurTree: Optimal Classification Trees via Dynamic Programming and Search
Figure 3 for MurTree: Optimal Classification Trees via Dynamic Programming and Search
Figure 4 for MurTree: Optimal Classification Trees via Dynamic Programming and Search
Viaarxiv icon

Formal Methods with a Touch of Magic

Add code
May 25, 2020
Figure 1 for Formal Methods with a Touch of Magic
Figure 2 for Formal Methods with a Touch of Magic
Figure 3 for Formal Methods with a Touch of Magic
Figure 4 for Formal Methods with a Touch of Magic
Viaarxiv icon

Outside the Box: Abstraction-Based Monitoring of Neural Networks

Add code
Nov 29, 2019
Figure 1 for Outside the Box: Abstraction-Based Monitoring of Neural Networks
Figure 2 for Outside the Box: Abstraction-Based Monitoring of Neural Networks
Figure 3 for Outside the Box: Abstraction-Based Monitoring of Neural Networks
Figure 4 for Outside the Box: Abstraction-Based Monitoring of Neural Networks
Viaarxiv icon

ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans

Add code
Dec 21, 2016
Figure 1 for ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Figure 2 for ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Figure 3 for ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Figure 4 for ARES: Adaptive Receding-Horizon Synthesis of Optimal Plans
Viaarxiv icon