Picture for Hazem Torfah

Hazem Torfah

Saarland University

Synthesizing Pareto-Optimal Interpretations for Black-Box Models

Add code
Aug 16, 2021
Figure 1 for Synthesizing Pareto-Optimal Interpretations for Black-Box Models
Figure 2 for Synthesizing Pareto-Optimal Interpretations for Black-Box Models
Figure 3 for Synthesizing Pareto-Optimal Interpretations for Black-Box Models
Figure 4 for Synthesizing Pareto-Optimal Interpretations for Black-Box Models
Viaarxiv icon

Runtime Monitoring for Markov Decision Processes

Add code
May 26, 2021
Figure 1 for Runtime Monitoring for Markov Decision Processes
Figure 2 for Runtime Monitoring for Markov Decision Processes
Figure 3 for Runtime Monitoring for Markov Decision Processes
Figure 4 for Runtime Monitoring for Markov Decision Processes
Viaarxiv icon

SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System

Add code
Aug 21, 2020
Figure 1 for SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
Figure 2 for SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
Figure 3 for SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
Figure 4 for SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating System
Viaarxiv icon

The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems

Add code
Jan 03, 2019
Figure 1 for The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
Figure 2 for The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
Figure 3 for The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
Figure 4 for The Challenges in Specifying and Explaining Synthesized Implementations of Reactive Systems
Viaarxiv icon

Synthesizing Skeletons for Reactive Systems

Add code
Mar 25, 2018
Figure 1 for Synthesizing Skeletons for Reactive Systems
Figure 2 for Synthesizing Skeletons for Reactive Systems
Figure 3 for Synthesizing Skeletons for Reactive Systems
Viaarxiv icon