Counterfactual explanations for MITL violations
From MaRDI portal
Cites work
- A theory of diagnosis from first principles
- A theory of timed automata
- Actual causality
- Automatic Abstraction Refinement for Timed Automata
- Causality analysis and fault ascription in component-based systems
- Causality checking for complex system models
- Clock bound repair for timed systems
- Counterfactual causality for reachability and safety based on distance functions
- Counterfactuals modulo temporal logics
- Dynamic causes for the violation of timed reachability properties
- Explaining Counterexamples Using Causality
- Explaining Hyperproperty Violations
- Explaining safety violations in real-time systems
- From MITL to Timed Automata
- From verification to causality-based explications (invited talk)
- scientific article; zbMATH DE number 1670775 (Why is no real title available?)
- scientific article; zbMATH DE number 2102690 (Why is no real title available?)
- Lectures on Concurrency and Petri Nets
- Partial order reductions for timed systems
- Program Slicing
- Temporal causality in reactive systems
- The benefits of relaxing punctuality
- Tools and Algorithms for the Construction and Analysis of Systems
- Updatable timed automata
- Vacuity in Testing
- What causes a system to satisfy a specification?
- Whodunit? Causal Analysis for Counterexamples
This page was built for publication: Counterfactual explanations for MITL violations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7263582)
