Debugging of Markov Decision Processes (MDPs) Models von Debbi, Hichem

Volltext

Constraint-based debugging in probabilistic model checking von Debbi, Hichem

Volltext

A Debugging Game for Probabilistic Models von Debbi, Hichem

Volltext

Explaining Query Answers in Probabilistic Databases von Debbi, Hichem

Volltext

Modeling and Performance Analysis of Resource Provisioning in Cloud Computing using Probabilistic Model Checking von Debbi, Hichem

Volltext

Modeling and Analysis of Probabilistic Real-time Systems through Integrating Event-B and Probabilistic Model Checking von Debbi, Hichem

Volltext

Counterexamples in Model Checking – A Survey von Debbi, Hichem

Volltext

CauSim: A Causal Learning Framework for Fine-Grained Image Similarity von Debbi, Hichem

Volltext

Causal Explanation of Convolutional Neural Networks von Debbi, Hichem

Volltext

Debugging of Markov Decision Processes (MDPs) Models von Debbi, Hichem

Volltext

CausAdv: A Causal-based Framework for Detecting Adversarial Examples von Debbi, Hichem

Volltext bestellen

Modeling and Formal Analysis of Probabilistic Complex Event Processing (CEP) Applications von Debbi, Hichem

Volltext

Generating Diagnoses for Probabilistic Model Checking Using Causality von Debbi, Hichem, Bourahla, Mustapha

Volltext

CausAdv: A Causal-based Framework for Detecting Adversarial Examples von Hichem Debbi

Volltext

Causal analysis of probabilistic counterexamples von Debbi, Hichem, Bourahla, Mustapha

Volltext bestellen