Pages that link to "Item:Q5277809"
From MaRDI portal
The following pages link to What causes a system to satisfy a specification? (Q5277809):
Displaying 10 items.
- Responsibility for inconsistency (Q891774) (← links)
- Measuring inconsistency with constraints for propositional knowledge bases (Q1647509) (← links)
- Probabilistic causes in Markov chains (Q2147196) (← links)
- Distant Group Responsibility in Multi-agent Systems (Q4571150) (← links)
- Efficient Automatic STE Refinement Using Responsibility (Q5458330) (← links)
- Foundations of probability-raising causality in Markov decision processes (Q6151547) (← links)
- Temporal causality in reactive systems (Q6160913) (← links)
- Causal Kripke Models (Q6199608) (← links)
- Explaining Hyperproperty Violations (Q6487323) (← links)
- Responsibility analysis by abstract interpretation (Q6536296) (← links)