Picture for Rayna Dimitrova

Rayna Dimitrova

Near-Optimal Reactive Synthesis Incorporating Runtime Information

Add code
Jul 31, 2020
Figure 1 for Near-Optimal Reactive Synthesis Incorporating Runtime Information
Figure 2 for Near-Optimal Reactive Synthesis Incorporating Runtime Information
Figure 3 for Near-Optimal Reactive Synthesis Incorporating Runtime Information
Figure 4 for Near-Optimal Reactive Synthesis Incorporating Runtime Information
Viaarxiv icon

Distributed Synthesis of Surveillance Strategies for Mobile Sensors

Add code
Feb 06, 2019
Figure 1 for Distributed Synthesis of Surveillance Strategies for Mobile Sensors
Figure 2 for Distributed Synthesis of Surveillance Strategies for Mobile Sensors
Figure 3 for Distributed Synthesis of Surveillance Strategies for Mobile Sensors
Figure 4 for Distributed Synthesis of Surveillance Strategies for Mobile Sensors
Viaarxiv icon

Synthesis of surveillance strategies via belief abstraction

Add code
Mar 19, 2018
Figure 1 for Synthesis of surveillance strategies via belief abstraction
Figure 2 for Synthesis of surveillance strategies via belief abstraction
Figure 3 for Synthesis of surveillance strategies via belief abstraction
Figure 4 for Synthesis of surveillance strategies via belief abstraction
Viaarxiv icon

Approximate Counting in SMT and Value Estimation for Probabilistic Programs

Add code
Oct 29, 2015
Figure 1 for Approximate Counting in SMT and Value Estimation for Probabilistic Programs
Figure 2 for Approximate Counting in SMT and Value Estimation for Probabilistic Programs
Figure 3 for Approximate Counting in SMT and Value Estimation for Probabilistic Programs
Figure 4 for Approximate Counting in SMT and Value Estimation for Probabilistic Programs
Viaarxiv icon